This package is 2.6 MB.
It is available at http://ftp.debian.org/debian/pool/main/h/haskell-sbv/libghc-sbv-dev_5.12-2+b3_amd64.deb
.
View its full control file here:
debian/control.
symbolic Haskell theorem prover using SMT solving
This package depends on:
libghc-quickcheck-dev-2.8.2-fd3f0, libghc-array-dev-0.5.1.1-472ca, libghc-async-dev-2.1.0-c8d71, libghc-base-dev-4.9.0.0-5e731, libghc-base-compat-dev-0.9.1-d9e26, libghc-containers-dev-0.5.7.1-8be09, libghc-cracknum-dev-1.5-ca805, libghc-data-binary-ieee754-dev-0.4.4-976e2, libghc-deepseq-dev-1.4.2.0-a6601, libghc-directory-dev-1.2.6.2-958b8, libghc-filepath-dev-1.4.1.0-6e799, libghc-ghc-dev-8.0.1-e7b3f, libghc-mtl-dev-2.2.1-3d1c9, libghc-old-time-dev-1.1.0.3-cc184, libghc-pretty-dev-1.1.3.3-3d24d, libghc-process-dev-1.4.2.0-e39cb, libghc-random-dev-1.1-84324, libghc-syb-dev-0.6-3f683, libc6 (>= 2.2.5), libgmp10.
This package does not recommend any other package.
This package suggests:
libghc-sbv-doc, libghc-sbv-prof.
This package does not conflict with any other package.
libghc-sbv-dev 5.12-2+b3 is in debian - stretch / main. This package's architecture is: amd64.
This package will not be indexed since your user agent reports your browser is a bot.