This package is 2.2 MB.
It is available at http://ftp.debian.org/debian/pool/main/h/haskell-sbv/libghc-sbv-prof_5.12-2+b3_amd64.deb
.
View its full control file here:
debian/control.
symbolic Haskell theorem prover using SMT solving; profiling libraries
This package depends on:
libghc-sbv-dev (= 5.12-2+b3), libghc-quickcheck-prof-2.8.2-fd3f0, libghc-array-prof-0.5.1.1-472ca, libghc-async-prof-2.1.0-c8d71, libghc-base-prof-4.9.0.0-5e731, libghc-base-compat-prof-0.9.1-d9e26, libghc-containers-prof-0.5.7.1-8be09, libghc-cracknum-prof-1.5-ca805, libghc-data-binary-ieee754-prof-0.4.4-976e2, libghc-deepseq-prof-1.4.2.0-a6601, libghc-directory-prof-1.2.6.2-958b8, libghc-filepath-prof-1.4.1.0-6e799, libghc-ghc-prof-8.0.1-e7b3f, libghc-mtl-prof-2.2.1-3d1c9, libghc-old-time-prof-1.1.0.3-cc184, libghc-pretty-prof-1.1.3.3-3d24d, libghc-process-prof-1.4.2.0-e39cb, libghc-random-prof-1.1-84324, libghc-syb-prof-0.6-3f683.
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
libghc-sbv-prof 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.