Pakiet: libghc-copilot-theorem-dev (3.18.1-2) [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.2.5)

GNU C Library: Shared libraries
dep: libghc-base-dev-4.17.2.0-68dfe

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

pakiet wirtualny udostępniany przez libghc-bimap-dev
dep: libghc-bv-sized-dev-1.0.5-2fefd

pakiet wirtualny udostępniany przez libghc-bv-sized-dev
dep: libghc-containers-dev-0.6.7-a1650

pakiet wirtualny udostępniany przez ghc
dep: libghc-copilot-core-dev-3.18.1-30079

pakiet wirtualny udostępniany przez libghc-copilot-core-dev
dep: libghc-copilot-prettyprinter-dev-3.18.1-dfed6

pakiet wirtualny udostępniany przez libghc-copilot-prettyprinter-dev
dep: libghc-data-default-dev-0.7.1.1-2d4d6

pakiet wirtualny udostępniany przez libghc-data-default-dev
dep: libghc-directory-dev-1.3.7.1-e5694

pakiet wirtualny udostępniany przez ghc
dep: libghc-libbf-dev-0.6.6-aa647

pakiet wirtualny udostępniany przez libghc-libbf-dev
dep: libghc-mtl-dev-2.2.2-6f39a

pakiet wirtualny udostępniany przez ghc
dep: libghc-panic-dev-0.4.0.1-848c2

pakiet wirtualny udostępniany przez libghc-panic-dev
dep: libghc-parameterized-utils-dev-2.1.7.0-9f482

pakiet wirtualny udostępniany przez libghc-parameterized-utils-dev
dep: libghc-parsec-dev-3.1.16.1-a16ec

pakiet wirtualny udostępniany przez ghc
dep: libghc-pretty-dev-1.1.3.6-1aa0a

pakiet wirtualny udostępniany przez ghc
dep: libghc-process-dev-1.6.17.0-29e15

pakiet wirtualny udostępniany przez ghc
dep: libghc-random-dev-1.2.1.1-68746

pakiet wirtualny udostępniany przez libghc-random-dev
dep: libghc-transformers-dev-0.5.6.2-931c3

pakiet wirtualny udostępniany przez ghc
dep: libghc-what4-dev-1.5.1-d3112

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

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
amd64	623,0 KiB	5 228,0 KiB	[lista plików]