имена на пакети описания имена на пакети-източници съдържание на пакети всички настройки

[  jammy  ] [  noble  ] [  questing  ]

[ Източник: haskell-sbv  ]

Връзки за libghc-sbv-prof

Ресурси за Ubuntu:

• Доклади за грешки
• Журнал на промените в Ubuntu
• Авторски права

Изтегляне на пакет-източник haskell-sbv.

• [haskell-sbv_10.2-2.dsc]
• [haskell-sbv_10.2.orig.tar.gz]
• [haskell-sbv_10.2-2.debian.tar.xz]

Отговорник:

• Ubuntu MOTU Developers (Пощенски архив)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian Haskell Group (Пощенски архив)
• Clint Adams

It should generally not be necessary for users to contact the original maintainer.

Външни препратки:

• Начална страница [leventerkok.github.io]

Подобни пакети:

• libghc-sbv-doc
• cvc4
• cvc5
• libcvc4-7
• libcvc5-1
• libcvc4-dev
• libcvc4parser7
• libcvc5-dev
• libcvc5parser1
• python3-cvc5
• libghc-type-level-numbers-prof

Други пакети, свързани с libghc-sbv-prof

зависимости

препоръчани

предложени

enhances

• dep: libghc-array-prof-0.5.6.0-65c23

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-async-prof-2.2.5-a3b4a

  виртуален пакет, предлаган от libghc-async-prof

• dep: libghc-base-prof-4.18.2.1-75247

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-containers-prof-0.6.7-3eda8

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-deepseq-prof-1.4.8.1-71feb

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-directory-prof-1.3.8.5-71f9f

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-filepath-prof-1.4.300.1-4a448

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-libbf-prof-0.6.8-38e9c

  виртуален пакет, предлаган от libghc-libbf-prof

• dep: libghc-mtl-prof-2.3.1-f8119

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-pretty-prof-1.1.3.6-21c21

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-process-prof-1.6.19.0-220a3

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-quickcheck-prof-2.14.3-1e824

  виртуален пакет, предлаган от libghc-quickcheck2-prof

• dep: libghc-random-prof-1.2.1.2-8af52

  виртуален пакет, предлаган от libghc-random-prof

• dep: libghc-sbv-dev (= 10.2-2)

  symbolic Haskell theorem prover using SMT solving

• dep: libghc-syb-prof-0.7.2.4-5c37c

  виртуален пакет, предлаган от libghc-syb-prof

• dep: libghc-template-haskell-prof-2.20.0.0-a6103

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-text-prof-2.0.2-edcc7

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-time-prof-1.12.2-a9ccc

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-transformers-prof-0.6.1.0-5335d

  виртуален пакет, предлаган от ghc-prof

• dep: libghc-uniplate-prof-1.6.13-637be

  виртуален пакет, предлаган от libghc-uniplate-prof

Изтегляне на libghc-sbv-prof

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
arm64	8 044,2 кБ	85 950,0 кБ	[списък на файловете]