[ Source: haskell-sbv ]
Paketti: libghc-sbv-dev (8.7-1 ja muut)
Links for libghc-sbv-dev
Debian-palvelut:
Imuroi lähdekoodipaketti haskell-sbv:
Ylläpitäjät:
External Resources:
- Kotisivu [leventerkok.github.com]
Samankaltaisia paketteja:
symbolic Haskell theorem prover using SMT solving
Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.
This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
Muut pakettiin libghc-sbv-dev liittyvät paketit
|
|
|
|
-
- dep: libc6 (>= 2.29)
- GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb
-
- dep: libghc-array-dev-0.5.4.0-0281a [armel, armhf]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-array-dev-0.5.4.0-53f6a [mips64el, s390x]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-array-dev-0.5.4.0-88c34 [mipsel]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-array-dev-0.5.4.0-b24dc [i386]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-array-dev-0.5.4.0-ddbb2 [amd64, arm64, ppc64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-async-dev-2.2.2-29e18 [armel, armhf]
- näennäispaketti, jonka toteuttaa libghc-async-dev
-
- dep: libghc-async-dev-2.2.2-6f5a8 [s390x]
- näennäispaketti, jonka toteuttaa libghc-async-dev
-
- dep: libghc-async-dev-2.2.2-97ad7 [amd64]
- näennäispaketti, jonka toteuttaa libghc-async-dev
-
- dep: libghc-async-dev-2.2.2-9d4f5 [ppc64el]
- näennäispaketti, jonka toteuttaa libghc-async-dev
-
- dep: libghc-async-dev-2.2.2-aa2cd [i386]
- näennäispaketti, jonka toteuttaa libghc-async-dev
-
- dep: libghc-async-dev-2.2.2-b2ac8 [arm64]
- näennäispaketti, jonka toteuttaa libghc-async-dev
-
- dep: libghc-async-dev-2.2.2-c9738 [mipsel]
- näennäispaketti, jonka toteuttaa libghc-async-dev
-
- dep: libghc-async-dev-2.2.2-ca2f8 [mips64el]
- näennäispaketti, jonka toteuttaa libghc-async-dev
-
- dep: libghc-base-dev-4.13.0.0-2f220 [amd64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-base-dev-4.13.0.0-3cd45 [i386]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-base-dev-4.13.0.0-5b8ba [armel, armhf]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-base-dev-4.13.0.0-7d708 [mipsel]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-base-dev-4.13.0.0-8a208 [mips64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-base-dev-4.13.0.0-95196 [s390x]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-base-dev-4.13.0.0-bfdb4 [ppc64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-base-dev-4.13.0.0-d4e5b [arm64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-containers-dev-0.6.2.1-25b62 [mips64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-containers-dev-0.6.2.1-312d6 [s390x]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-containers-dev-0.6.2.1-39f42 [arm64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-containers-dev-0.6.2.1-53ee1 [armel, armhf]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-containers-dev-0.6.2.1-67b24 [i386]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-containers-dev-0.6.2.1-ab1cf [amd64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-containers-dev-0.6.2.1-c0c14 [mipsel]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-containers-dev-0.6.2.1-f2d50 [ppc64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-cracknum-dev-2.3-05103 [amd64, arm64, ppc64el]
- näennäispaketti, jonka toteuttaa libghc-cracknum-dev
-
- dep: libghc-cracknum-dev-2.3-229df [mips64el, s390x]
- näennäispaketti, jonka toteuttaa libghc-cracknum-dev
-
- dep: libghc-cracknum-dev-2.3-4a2b1 [mipsel]
- näennäispaketti, jonka toteuttaa libghc-cracknum-dev
-
- dep: libghc-cracknum-dev-2.3-d89a4 [armel, armhf, i386]
- näennäispaketti, jonka toteuttaa libghc-cracknum-dev
-
- dep: libghc-deepseq-dev-1.4.4.0-2ad33 [s390x]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-deepseq-dev-1.4.4.0-5010d [i386]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-deepseq-dev-1.4.4.0-5e065 [armel, armhf]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-deepseq-dev-1.4.4.0-76304 [arm64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-deepseq-dev-1.4.4.0-9f093 [amd64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-deepseq-dev-1.4.4.0-a2b24 [ppc64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-deepseq-dev-1.4.4.0-a6451 [mipsel]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-deepseq-dev-1.4.4.0-f63ee [mips64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-directory-dev-1.3.6.0-137bf [s390x]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-directory-dev-1.3.6.0-49fdf [amd64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-directory-dev-1.3.6.0-592a7 [arm64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-directory-dev-1.3.6.0-61922 [i386]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-directory-dev-1.3.6.0-6c350 [armel, armhf]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-directory-dev-1.3.6.0-bf528 [mips64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-directory-dev-1.3.6.0-e69f4 [ppc64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-directory-dev-1.3.6.0-f1569 [mipsel]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-filepath-dev-1.4.2.1-001eb [arm64, ppc64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-filepath-dev-1.4.2.1-103b6 [amd64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-filepath-dev-1.4.2.1-53885 [mips64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-filepath-dev-1.4.2.1-8143b [armel, armhf]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-filepath-dev-1.4.2.1-a4a8b [mipsel]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-filepath-dev-1.4.2.1-b22e3 [s390x]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-filepath-dev-1.4.2.1-c7330 [i386]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-generic-deriving-dev-1.13.1-3ada1 [arm64]
- näennäispaketti, jonka toteuttaa libghc-generic-deriving-dev
-
- dep: libghc-generic-deriving-dev-1.13.1-58f19 [mipsel]
- näennäispaketti, jonka toteuttaa libghc-generic-deriving-dev
-
- dep: libghc-generic-deriving-dev-1.13.1-7e2f8 [armel, armhf]
- näennäispaketti, jonka toteuttaa libghc-generic-deriving-dev
-
- dep: libghc-generic-deriving-dev-1.13.1-8a7ec [amd64]
- näennäispaketti, jonka toteuttaa libghc-generic-deriving-dev
-
- dep: libghc-generic-deriving-dev-1.13.1-9fd86 [i386]
- näennäispaketti, jonka toteuttaa libghc-generic-deriving-dev
-
- dep: libghc-generic-deriving-dev-1.13.1-de612 [mips64el]
- näennäispaketti, jonka toteuttaa libghc-generic-deriving-dev
-
- dep: libghc-generic-deriving-dev-1.13.1-ea9f0 [s390x]
- näennäispaketti, jonka toteuttaa libghc-generic-deriving-dev
-
- dep: libghc-generic-deriving-dev-1.13.1-ebfdc [ppc64el]
- näennäispaketti, jonka toteuttaa libghc-generic-deriving-dev
-
- dep: libghc-mtl-dev-2.2.2-5bd25 [mips64el, s390x]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-mtl-dev-2.2.2-7208c [amd64, arm64, ppc64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-mtl-dev-2.2.2-808ea [mipsel]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-mtl-dev-2.2.2-c5b7a [armel, armhf]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-mtl-dev-2.2.2-e0289 [i386]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-pretty-dev-1.1.3.6-2f341 [arm64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-pretty-dev-1.1.3.6-33019 [amd64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-pretty-dev-1.1.3.6-529fa [ppc64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-pretty-dev-1.1.3.6-96d07 [armel, armhf]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-pretty-dev-1.1.3.6-a4941 [mips64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-pretty-dev-1.1.3.6-a9724 [s390x]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-pretty-dev-1.1.3.6-dc1c8 [mipsel]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-pretty-dev-1.1.3.6-eb7b6 [i386]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-process-dev-1.6.9.0-23e5c [arm64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-process-dev-1.6.9.0-53673 [mipsel]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-process-dev-1.6.9.0-83e3e [armel, armhf]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-process-dev-1.6.9.0-88a89 [amd64, ppc64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-process-dev-1.6.9.0-d3807 [mips64el, s390x]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-process-dev-1.6.9.0-ef5bd [i386]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-quickcheck-dev-2.13.2-0eeab [mipsel]
- näennäispaketti, jonka toteuttaa libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.13.2-18dcf [armel, armhf]
- näennäispaketti, jonka toteuttaa libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.13.2-3c094 [s390x]
- näennäispaketti, jonka toteuttaa libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.13.2-3e7ed [amd64]
- näennäispaketti, jonka toteuttaa libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.13.2-44737 [i386]
- näennäispaketti, jonka toteuttaa libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.13.2-c76f1 [ppc64el]
- näennäispaketti, jonka toteuttaa libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.13.2-d25e2 [arm64]
- näennäispaketti, jonka toteuttaa libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.13.2-e1317 [mips64el]
- näennäispaketti, jonka toteuttaa libghc-quickcheck2-dev
-
- dep: libghc-random-dev-1.1-00a11 [ppc64el]
- näennäispaketti, jonka toteuttaa libghc-random-dev
-
- dep: libghc-random-dev-1.1-406f9 [armel, armhf]
- näennäispaketti, jonka toteuttaa libghc-random-dev
-
- dep: libghc-random-dev-1.1-523a8 [amd64]
- näennäispaketti, jonka toteuttaa libghc-random-dev
-
- dep: libghc-random-dev-1.1-5dc23 [mipsel]
- näennäispaketti, jonka toteuttaa libghc-random-dev
-
- dep: libghc-random-dev-1.1-8b80a [arm64]
- näennäispaketti, jonka toteuttaa libghc-random-dev
-
- dep: libghc-random-dev-1.1-b7207 [s390x]
- näennäispaketti, jonka toteuttaa libghc-random-dev
-
- dep: libghc-random-dev-1.1-cd8e9 [i386]
- näennäispaketti, jonka toteuttaa libghc-random-dev
-
- dep: libghc-random-dev-1.1-ecbdf [mips64el]
- näennäispaketti, jonka toteuttaa libghc-random-dev
-
- dep: libghc-syb-dev-0.7.1-22f7e [mipsel]
- näennäispaketti, jonka toteuttaa libghc-syb-dev
-
- dep: libghc-syb-dev-0.7.1-5ea0b [i386]
- näennäispaketti, jonka toteuttaa libghc-syb-dev
-
- dep: libghc-syb-dev-0.7.1-bb80c [amd64, arm64, ppc64el]
- näennäispaketti, jonka toteuttaa libghc-syb-dev
-
- dep: libghc-syb-dev-0.7.1-e7786 [armel, armhf]
- näennäispaketti, jonka toteuttaa libghc-syb-dev
-
- dep: libghc-syb-dev-0.7.1-e83af [mips64el, s390x]
- näennäispaketti, jonka toteuttaa libghc-syb-dev
-
- dep: libghc-template-haskell-dev-2.15.0.0-20dec [mips64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-template-haskell-dev-2.15.0.0-28dea [ppc64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-template-haskell-dev-2.15.0.0-51655 [s390x]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-template-haskell-dev-2.15.0.0-62759 [arm64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-template-haskell-dev-2.15.0.0-80f0d [amd64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-template-haskell-dev-2.15.0.0-93ed7 [mipsel]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-template-haskell-dev-2.15.0.0-d6b75 [armel, armhf]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-template-haskell-dev-2.15.0.0-f9a15 [i386]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-time-dev-1.9.3-1ee94 [amd64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-time-dev-1.9.3-2de75 [s390x]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-time-dev-1.9.3-538c4 [ppc64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-time-dev-1.9.3-678fe [mipsel]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-time-dev-1.9.3-8c784 [armel, armhf]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-time-dev-1.9.3-9ed95 [arm64]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-time-dev-1.9.3-d12cd [i386]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-time-dev-1.9.3-f5018 [mips64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-transformers-dev-0.5.6.2-00bc3 [mips64el, s390x]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-transformers-dev-0.5.6.2-38196 [armel, armhf]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-transformers-dev-0.5.6.2-59c2c [amd64, arm64, ppc64el]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-transformers-dev-0.5.6.2-65980 [i386]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libghc-transformers-dev-0.5.6.2-8bd9f [mipsel]
- näennäispaketti, jonka toteuttaa ghc
-
- dep: libgmp10
- Multiprecision arithmetic library
-
- sug: libghc-sbv-doc
- symbolic Haskell theorem prover using SMT solving; documentation
-
- sug: libghc-sbv-prof
- symbolic Haskell theorem prover using SMT solving; profiling libraries
Imuroi libghc-sbv-dev
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| amd64 | 8.7-1+b1 | 5,855.2 kt | 66,019.0 kt | [tiedostoluettelo] |
| arm64 | 8.7-1+b1 | 8,225.4 kt | 94,706.0 kt | [tiedostoluettelo] |
| armel | 8.7-1+b1 | 7,939.7 kt | 75,974.0 kt | [tiedostoluettelo] |
| armhf | 8.7-1+b1 | 7,809.9 kt | 74,810.0 kt | [tiedostoluettelo] |
| i386 | 8.7-1+b1 | 5,767.4 kt | 54,373.0 kt | [tiedostoluettelo] |
| mips64el | 8.7-1 | 8,424.5 kt | 116,539.0 kt | [tiedostoluettelo] |
| mipsel | 8.7-1 | 7,994.3 kt | 89,804.0 kt | [tiedostoluettelo] |
| ppc64el | 8.7-1+b1 | 8,763.5 kt | 113,084.0 kt | [tiedostoluettelo] |
| s390x | 8.7-1+b1 | 10,132.2 kt | 131,222.0 kt | [tiedostoluettelo] |