Pakiet: libghc-copilot-theorem-dev (4.6.1-1) [universe]

Odnośniki dla libghc-copilot-theorem-dev

Zasoby systemu Ubuntu:

Pobieranie pakietu źródłowego haskell-copilot-theorem:

Opiekun:

Ubuntu MOTU Developers (Archiwum e-mail)

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

Original Maintainers (usually from Debian):

Debian Haskell Group (Archiwum e-mail)
Scott Talbert

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

Zasoby zewnętrzne:

Strona internetowa [copilot-language.github.io]

Podobne pakiety:

k-induction for Copilot.

Inne pakiety związane z libghc-copilot-theorem-dev

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.17)

GNU C Library: Shared libraries
dep: libghc-base-dev-4.20.2.0-08385

pakiet wirtualny udostępniany przez ghc
dep: libghc-bimap-dev-0.5.0-1a3fd

pakiet wirtualny udostępniany przez libghc-bimap-dev
dep: libghc-bv-sized-dev-1.0.6-71ce5

pakiet wirtualny udostępniany przez libghc-bv-sized-dev
dep: libghc-containers-dev-0.7-1229a

pakiet wirtualny udostępniany przez ghc
dep: libghc-copilot-core-dev-4.6.1-3d2f6

pakiet wirtualny udostępniany przez libghc-copilot-core-dev
dep: libghc-copilot-prettyprinter-dev-4.6.1-dfdf0

pakiet wirtualny udostępniany przez libghc-copilot-prettyprinter-dev
dep: libghc-data-default-dev-0.8.0.1-bbefc

pakiet wirtualny udostępniany przez libghc-data-default-dev
dep: libghc-directory-dev-1.3.8.5-b904d

pakiet wirtualny udostępniany przez ghc
dep: libghc-libbf-dev-0.6.8-52957

pakiet wirtualny udostępniany przez libghc-libbf-dev
dep: libghc-mtl-dev-2.3.1-edf82

pakiet wirtualny udostępniany przez ghc
dep: libghc-panic-dev-0.4.0.1-47a6a

pakiet wirtualny udostępniany przez libghc-panic-dev
dep: libghc-parameterized-utils-dev-2.1.11.0-32458

pakiet wirtualny udostępniany przez libghc-parameterized-utils-dev
dep: libghc-pretty-dev-1.1.3.6-bde4b

pakiet wirtualny udostępniany przez ghc
dep: libghc-process-dev-1.6.26.1-c4238

pakiet wirtualny udostępniany przez ghc
dep: libghc-random-dev-1.2.1.3-b84dd

pakiet wirtualny udostępniany przez libghc-random-dev
dep: libghc-transformers-dev-0.6.1.1-26140

pakiet wirtualny udostępniany przez ghc
dep: libghc-what4-dev-1.6.3-f0e22

pakiet wirtualny udostępniany przez libghc-what4-dev
dep: libghc-xml-dev-1.3.14-f679d

pakiet wirtualny udostępniany przez libghc-xml-dev
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library
dep: zlib1g (>= 1:1.1.4)

compression library - runtime

Pobieranie libghc-copilot-theorem-dev

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
arm64	640,2 KiB	6 005,0 KiB	[lista plików]