[ Källkod: haskell-sbv ]
Paket: libghc-sbv-prof (8.7-1 och andra)
Länkar för libghc-sbv-prof
Debianresurser:
Hämta källkodspaketet haskell-sbv:
Ansvariga:
Externa resurser:
- Hemsida [leventerkok.github.com]
Liknande paket:
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.
Andra paket besläktade med libghc-sbv-prof
|
|
|
|
-
- dep: libghc-array-prof-0.5.4.0-0281a [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-array-prof-0.5.4.0-53f6a [mips64el, s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-array-prof-0.5.4.0-88c34 [mipsel]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-array-prof-0.5.4.0-b24dc [i386]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-array-prof-0.5.4.0-ddbb2 [amd64, arm64, ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-async-prof-2.2.2-29e18 [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-6f5a8 [s390x]
- virtuellt paket som tillhandahålls av libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-97ad7 [amd64]
- virtuellt paket som tillhandahålls av libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-9d4f5 [ppc64el]
- virtuellt paket som tillhandahålls av libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-aa2cd [i386]
- virtuellt paket som tillhandahålls av libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-b2ac8 [arm64]
- virtuellt paket som tillhandahålls av libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-c9738 [mipsel]
- virtuellt paket som tillhandahålls av libghc-async-prof
-
- dep: libghc-async-prof-2.2.2-ca2f8 [mips64el]
- virtuellt paket som tillhandahålls av libghc-async-prof
-
- dep: libghc-base-prof-4.13.0.0-2f220 [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-3cd45 [i386]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-5b8ba [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-7d708 [mipsel]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-8a208 [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-95196 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-bfdb4 [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-base-prof-4.13.0.0-d4e5b [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-25b62 [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-312d6 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-39f42 [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-53ee1 [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-67b24 [i386]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-ab1cf [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-c0c14 [mipsel]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.2.1-f2d50 [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-cracknum-prof-2.3-05103 [amd64, arm64, ppc64el]
- virtuellt paket som tillhandahålls av libghc-cracknum-prof
-
- dep: libghc-cracknum-prof-2.3-229df [mips64el, s390x]
- virtuellt paket som tillhandahålls av libghc-cracknum-prof
-
- dep: libghc-cracknum-prof-2.3-4a2b1 [mipsel]
- virtuellt paket som tillhandahålls av libghc-cracknum-prof
-
- dep: libghc-cracknum-prof-2.3-d89a4 [armel, armhf, i386]
- virtuellt paket som tillhandahålls av libghc-cracknum-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-2ad33 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-5010d [i386]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-5e065 [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-76304 [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-9f093 [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-a2b24 [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-a6451 [mipsel]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-deepseq-prof-1.4.4.0-f63ee [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-137bf [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-49fdf [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-592a7 [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-61922 [i386]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-6c350 [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-bf528 [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-e69f4 [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.6.0-f1569 [mipsel]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-001eb [arm64, ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-103b6 [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-53885 [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-8143b [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-a4a8b [mipsel]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-b22e3 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.2.1-c7330 [i386]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-3ada1 [arm64]
- virtuellt paket som tillhandahålls av libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-58f19 [mipsel]
- virtuellt paket som tillhandahålls av libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-7e2f8 [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-8a7ec [amd64]
- virtuellt paket som tillhandahålls av libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-9fd86 [i386]
- virtuellt paket som tillhandahålls av libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-de612 [mips64el]
- virtuellt paket som tillhandahålls av libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-ea9f0 [s390x]
- virtuellt paket som tillhandahålls av libghc-generic-deriving-prof
-
- dep: libghc-generic-deriving-prof-1.13.1-ebfdc [ppc64el]
- virtuellt paket som tillhandahålls av libghc-generic-deriving-prof
-
- dep: libghc-mtl-prof-2.2.2-5bd25 [mips64el, s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-mtl-prof-2.2.2-7208c [amd64, arm64, ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-mtl-prof-2.2.2-808ea [mipsel]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-mtl-prof-2.2.2-c5b7a [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-mtl-prof-2.2.2-e0289 [i386]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-2f341 [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-33019 [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-529fa [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-96d07 [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-a4941 [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-a9724 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-dc1c8 [mipsel]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-eb7b6 [i386]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-process-prof-1.6.9.0-23e5c [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-process-prof-1.6.9.0-53673 [mipsel]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-process-prof-1.6.9.0-83e3e [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-process-prof-1.6.9.0-88a89 [amd64, ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-process-prof-1.6.9.0-d3807 [mips64el, s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-process-prof-1.6.9.0-ef5bd [i386]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-quickcheck-prof-2.13.2-0eeab [mipsel]
- virtuellt paket som tillhandahålls av libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-18dcf [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-3c094 [s390x]
- virtuellt paket som tillhandahålls av libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-3e7ed [amd64]
- virtuellt paket som tillhandahålls av libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-44737 [i386]
- virtuellt paket som tillhandahålls av libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-c76f1 [ppc64el]
- virtuellt paket som tillhandahålls av libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-d25e2 [arm64]
- virtuellt paket som tillhandahålls av libghc-quickcheck2-prof
-
- dep: libghc-quickcheck-prof-2.13.2-e1317 [mips64el]
- virtuellt paket som tillhandahålls av libghc-quickcheck2-prof
-
- dep: libghc-random-prof-1.1-00a11 [ppc64el]
- virtuellt paket som tillhandahålls av libghc-random-prof
-
- dep: libghc-random-prof-1.1-406f9 [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-random-prof
-
- dep: libghc-random-prof-1.1-523a8 [amd64]
- virtuellt paket som tillhandahålls av libghc-random-prof
-
- dep: libghc-random-prof-1.1-5dc23 [mipsel]
- virtuellt paket som tillhandahålls av libghc-random-prof
-
- dep: libghc-random-prof-1.1-8b80a [arm64]
- virtuellt paket som tillhandahålls av libghc-random-prof
-
- dep: libghc-random-prof-1.1-b7207 [s390x]
- virtuellt paket som tillhandahålls av libghc-random-prof
-
- dep: libghc-random-prof-1.1-cd8e9 [i386]
- virtuellt paket som tillhandahålls av libghc-random-prof
-
- dep: libghc-random-prof-1.1-ecbdf [mips64el]
- virtuellt paket som tillhandahålls av 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) [ej mips64el, mipsel]
-
- dep: libghc-syb-prof-0.7.1-22f7e [mipsel]
- virtuellt paket som tillhandahålls av libghc-syb-prof
-
- dep: libghc-syb-prof-0.7.1-5ea0b [i386]
- virtuellt paket som tillhandahålls av libghc-syb-prof
-
- dep: libghc-syb-prof-0.7.1-bb80c [amd64, arm64, ppc64el]
- virtuellt paket som tillhandahålls av libghc-syb-prof
-
- dep: libghc-syb-prof-0.7.1-e7786 [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-syb-prof
-
- dep: libghc-syb-prof-0.7.1-e83af [mips64el, s390x]
- virtuellt paket som tillhandahålls av libghc-syb-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-20dec [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-28dea [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-51655 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-62759 [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-80f0d [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-93ed7 [mipsel]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-d6b75 [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-template-haskell-prof-2.15.0.0-f9a15 [i386]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-time-prof-1.9.3-1ee94 [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-time-prof-1.9.3-2de75 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-time-prof-1.9.3-538c4 [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-time-prof-1.9.3-678fe [mipsel]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-time-prof-1.9.3-8c784 [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-time-prof-1.9.3-9ed95 [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-time-prof-1.9.3-d12cd [i386]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-time-prof-1.9.3-f5018 [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-transformers-prof-0.5.6.2-00bc3 [mips64el, s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-transformers-prof-0.5.6.2-38196 [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-transformers-prof-0.5.6.2-59c2c [amd64, arm64, ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-transformers-prof-0.5.6.2-65980 [i386]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-transformers-prof-0.5.6.2-8bd9f [mipsel]
- virtuellt paket som tillhandahålls av ghc-prof
Hämta libghc-sbv-prof
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| amd64 | 8.7-1+b1 | 5.105,2 kbyte | 64.888,0 kbyte | [filförteckning] |
| arm64 | 8.7-1+b1 | 6.295,5 kbyte | 80.501,0 kbyte | [filförteckning] |
| armel | 8.7-1+b1 | 6.233,7 kbyte | 59.831,0 kbyte | [filförteckning] |
| armhf | 8.7-1+b1 | 6.107,9 kbyte | 58.299,0 kbyte | [filförteckning] |
| i386 | 8.7-1+b1 | 5.170,7 kbyte | 49.001,0 kbyte | [filförteckning] |
| mips64el | 8.7-1 | 6.859,0 kbyte | 98.905,0 kbyte | [filförteckning] |
| mipsel | 8.7-1 | 6.560,5 kbyte | 69.885,0 kbyte | [filförteckning] |
| ppc64el | 8.7-1+b1 | 6.991,5 kbyte | 105.106,0 kbyte | [filförteckning] |
| s390x | 8.7-1+b1 | 8.124,2 kbyte | 123.874,0 kbyte | [filförteckning] |