[ Source: haskell-sbv ]
Package: libghc-sbv-prof (8.7-1 and others)
Links for libghc-sbv-prof
Debian Resources:
Download Source Package haskell-sbv:
Maintainers:
External Resources:
- Homepage [leventerkok.github.com]
Similar packages:
symbolic Haskell theorem prover using SMT solving; profiling libraries
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, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.
Other Packages Related to libghc-sbv-prof
|
|
|
|
-
- dep: libghc-array-prof-0.5.4.0-0281a [armel, armhf]
- virtual package provided by ghc-prof
-
- dep: libghc-array-prof-0.5.4.0-53f6a [mips64el, s390x]
- virtual package provided by ghc-prof
-
- dep: libghc-array-prof-0.5.4.0-88c34 [mipsel]
- virtual package provided by ghc-prof
-
- dep: libghc-array-prof-0.5.4.0-b24dc [i386]
- virtual package provided by ghc-prof
-
- dep: libghc-array-prof-0.5.4.0-ddbb2 [amd64, arm64, ppc64el]
- virtual package provided by ghc-prof
-
- dep: libghc-async-prof-2.2.2-29e18 [armel, armhf]
- virtual package provided by libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-6f5a8 [s390x]
- virtual package provided by libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-97ad7 [amd64]
- virtual package provided by libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-9d4f5 [ppc64el]
- virtual package provided by libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-aa2cd [i386]
- virtual package provided by libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-b2ac8 [arm64]
- virtual package provided by libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-c9738 [mipsel]
- virtual package provided by libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-ca2f8 [mips64el]
- virtual package provided by libghc-async-prof
-
- dep: libghc-base-prof-4.13.0.0-2f220 [amd64]
- virtual package provided by ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-3cd45 [i386]
- virtual package provided by ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-5b8ba [armel, armhf]
- virtual package provided by ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-7d708 [mipsel]
- virtual package provided by ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-8a208 [mips64el]
- virtual package provided by ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-95196 [s390x]
- virtual package provided by ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-bfdb4 [ppc64el]
- virtual package provided by ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-d4e5b [arm64]
- virtual package provided by ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-25b62 [mips64el]
- virtual package provided by ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-312d6 [s390x]
- virtual package provided by ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-39f42 [arm64]
- virtual package provided by ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-53ee1 [armel, armhf]
- virtual package provided by ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-67b24 [i386]
- virtual package provided by ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-ab1cf [amd64]
- virtual package provided by ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-c0c14 [mipsel]
- virtual package provided by ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-f2d50 [ppc64el]
- virtual package provided by ghc-prof
-
- dep: libghc-cracknum-prof-2.3-05103 [amd64, arm64, ppc64el]
- virtual package provided by libghc-cracknum-prof
-
- dep: libghc-cracknum-prof-2.3-229df [mips64el, s390x]
- virtual package provided by libghc-cracknum-prof
-
- dep: libghc-cracknum-prof-2.3-4a2b1 [mipsel]
- virtual package provided by libghc-cracknum-prof
-
- dep: libghc-cracknum-prof-2.3-d89a4 [armel, armhf, i386]
- virtual package provided by libghc-cracknum-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-2ad33 [s390x]
- virtual package provided by ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-5010d [i386]
- virtual package provided by ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-5e065 [armel, armhf]
- virtual package provided by ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-76304 [arm64]
- virtual package provided by ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-9f093 [amd64]
- virtual package provided by ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-a2b24 [ppc64el]
- virtual package provided by ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-a6451 [mipsel]
- virtual package provided by ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-f63ee [mips64el]
- virtual package provided by ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-137bf [s390x]
- virtual package provided by ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-49fdf [amd64]
- virtual package provided by ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-592a7 [arm64]
- virtual package provided by ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-61922 [i386]
- virtual package provided by ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-6c350 [armel, armhf]
- virtual package provided by ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-bf528 [mips64el]
- virtual package provided by ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-e69f4 [ppc64el]
- virtual package provided by ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-f1569 [mipsel]
- virtual package provided by ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-001eb [arm64, ppc64el]
- virtual package provided by ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-103b6 [amd64]
- virtual package provided by ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-53885 [mips64el]
- virtual package provided by ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-8143b [armel, armhf]
- virtual package provided by ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-a4a8b [mipsel]
- virtual package provided by ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-b22e3 [s390x]
- virtual package provided by ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-c7330 [i386]
- virtual package provided by ghc-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-3ada1 [arm64]
- virtual package provided by libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-58f19 [mipsel]
- virtual package provided by libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-7e2f8 [armel, armhf]
- virtual package provided by libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-8a7ec [amd64]
- virtual package provided by libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-9fd86 [i386]
- virtual package provided by libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-de612 [mips64el]
- virtual package provided by libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-ea9f0 [s390x]
- virtual package provided by libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-ebfdc [ppc64el]
- virtual package provided by libghc-generic-deriving-prof
-
- dep: libghc-mtl-prof-2.2.2-5bd25 [mips64el, s390x]
- virtual package provided by ghc-prof
-
- dep: libghc-mtl-prof-2.2.2-7208c [amd64, arm64, ppc64el]
- virtual package provided by ghc-prof
-
- dep: libghc-mtl-prof-2.2.2-808ea [mipsel]
- virtual package provided by ghc-prof
-
- dep: libghc-mtl-prof-2.2.2-c5b7a [armel, armhf]
- virtual package provided by ghc-prof
-
- dep: libghc-mtl-prof-2.2.2-e0289 [i386]
- virtual package provided by ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-2f341 [arm64]
- virtual package provided by ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-33019 [amd64]
- virtual package provided by ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-529fa [ppc64el]
- virtual package provided by ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-96d07 [armel, armhf]
- virtual package provided by ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-a4941 [mips64el]
- virtual package provided by ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-a9724 [s390x]
- virtual package provided by ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-dc1c8 [mipsel]
- virtual package provided by ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-eb7b6 [i386]
- virtual package provided by ghc-prof
-
- dep: libghc-process-prof-1.6.9.0-23e5c [arm64]
- virtual package provided by ghc-prof
-
- dep: libghc-process-prof-1.6.9.0-53673 [mipsel]
- virtual package provided by ghc-prof
-
- dep: libghc-process-prof-1.6.9.0-83e3e [armel, armhf]
- virtual package provided by ghc-prof
-
- dep: libghc-process-prof-1.6.9.0-88a89 [amd64, ppc64el]
- virtual package provided by ghc-prof
-
- dep: libghc-process-prof-1.6.9.0-d3807 [mips64el, s390x]
- virtual package provided by ghc-prof
-
- dep: libghc-process-prof-1.6.9.0-ef5bd [i386]
- virtual package provided by ghc-prof
-
- dep: libghc-quickcheck-prof-2.13.2-0eeab [mipsel]
- virtual package provided by libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-18dcf [armel, armhf]
- virtual package provided by libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-3c094 [s390x]
- virtual package provided by libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-3e7ed [amd64]
- virtual package provided by libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-44737 [i386]
- virtual package provided by libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-c76f1 [ppc64el]
- virtual package provided by libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-d25e2 [arm64]
- virtual package provided by libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-e1317 [mips64el]
- virtual package provided by libghc-quickcheck2-prof
-
- dep: libghc-random-prof-1.1-00a11 [ppc64el]
- virtual package provided by libghc-random-prof
-
- dep: libghc-random-prof-1.1-406f9 [armel, armhf]
- virtual package provided by libghc-random-prof
-
- dep: libghc-random-prof-1.1-523a8 [amd64]
- virtual package provided by libghc-random-prof
-
- dep: libghc-random-prof-1.1-5dc23 [mipsel]
- virtual package provided by libghc-random-prof
-
- dep: libghc-random-prof-1.1-8b80a [arm64]
- virtual package provided by libghc-random-prof
-
- dep: libghc-random-prof-1.1-b7207 [s390x]
- virtual package provided by libghc-random-prof
-
- dep: libghc-random-prof-1.1-cd8e9 [i386]
- virtual package provided by libghc-random-prof
-
- dep: libghc-random-prof-1.1-ecbdf [mips64el]
- virtual package provided by libghc-random-prof
-
- dep: libghc-sbv-dev (= 8.7-1) [mips64el, mipsel]
- symbolic Haskell theorem prover using SMT solving
- dep: libghc-sbv-dev (= 8.7-1+b1) [not mips64el, mipsel]
-
- dep: libghc-syb-prof-0.7.1-22f7e [mipsel]
- virtual package provided by libghc-syb-prof
-
- dep: libghc-syb-prof-0.7.1-5ea0b [i386]
- virtual package provided by libghc-syb-prof
-
- dep: libghc-syb-prof-0.7.1-bb80c [amd64, arm64, ppc64el]
- virtual package provided by libghc-syb-prof
-
- dep: libghc-syb-prof-0.7.1-e7786 [armel, armhf]
- virtual package provided by libghc-syb-prof
-
- dep: libghc-syb-prof-0.7.1-e83af [mips64el, s390x]
- virtual package provided by libghc-syb-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-20dec [mips64el]
- virtual package provided by ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-28dea [ppc64el]
- virtual package provided by ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-51655 [s390x]
- virtual package provided by ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-62759 [arm64]
- virtual package provided by ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-80f0d [amd64]
- virtual package provided by ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-93ed7 [mipsel]
- virtual package provided by ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-d6b75 [armel, armhf]
- virtual package provided by ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-f9a15 [i386]
- virtual package provided by ghc-prof
-
- dep: libghc-time-prof-1.9.3-1ee94 [amd64]
- virtual package provided by ghc-prof
-
- dep: libghc-time-prof-1.9.3-2de75 [s390x]
- virtual package provided by ghc-prof
-
- dep: libghc-time-prof-1.9.3-538c4 [ppc64el]
- virtual package provided by ghc-prof
-
- dep: libghc-time-prof-1.9.3-678fe [mipsel]
- virtual package provided by ghc-prof
-
- dep: libghc-time-prof-1.9.3-8c784 [armel, armhf]
- virtual package provided by ghc-prof
-
- dep: libghc-time-prof-1.9.3-9ed95 [arm64]
- virtual package provided by ghc-prof
-
- dep: libghc-time-prof-1.9.3-d12cd [i386]
- virtual package provided by ghc-prof
-
- dep: libghc-time-prof-1.9.3-f5018 [mips64el]
- virtual package provided by ghc-prof
-
- dep: libghc-transformers-prof-0.5.6.2-00bc3 [mips64el, s390x]
- virtual package provided by ghc-prof
-
- dep: libghc-transformers-prof-0.5.6.2-38196 [armel, armhf]
- virtual package provided by ghc-prof
-
- dep: libghc-transformers-prof-0.5.6.2-59c2c [amd64, arm64, ppc64el]
- virtual package provided by ghc-prof
-
- dep: libghc-transformers-prof-0.5.6.2-65980 [i386]
- virtual package provided by ghc-prof
-
- dep: libghc-transformers-prof-0.5.6.2-8bd9f [mipsel]
- virtual package provided by ghc-prof
Download libghc-sbv-prof
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 8.7-1+b1 | 5,105.2 kB | 64,888.0 kB | [list of files] |
| arm64 | 8.7-1+b1 | 6,295.5 kB | 80,501.0 kB | [list of files] |
| armel | 8.7-1+b1 | 6,233.7 kB | 59,831.0 kB | [list of files] |
| armhf | 8.7-1+b1 | 6,107.9 kB | 58,299.0 kB | [list of files] |
| i386 | 8.7-1+b1 | 5,170.7 kB | 49,001.0 kB | [list of files] |
| mips64el | 8.7-1 | 6,859.0 kB | 98,905.0 kB | [list of files] |
| mipsel | 8.7-1 | 6,560.5 kB | 69,885.0 kB | [list of files] |
| ppc64el | 8.7-1+b1 | 6,991.5 kB | 105,106.0 kB | [list of files] |
| s390x | 8.7-1+b1 | 8,124.2 kB | 123,874.0 kB | [list of files] |