Package: libghc-sbv-dev Architecture: amd64 Version: 10.2-1build1 Priority: extra Section: universe/haskell Source: haskell-sbv Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 69656 Provides: libghc-sbv-dev-10.2-47e51 Depends: libghc-array-dev-0.5.4.0-0952c, libghc-async-dev-2.2.4-2b734, libghc-base-dev-4.17.2.0-68dfe, libghc-containers-dev-0.6.7-a1650, libghc-deepseq-dev-1.4.8.0-ddf16, libghc-directory-dev-1.3.7.1-1009f, libghc-filepath-dev-1.4.2.2-290a6, libghc-libbf-dev-0.6.6-aa647, libghc-mtl-dev-2.2.2-6f39a, libghc-pretty-dev-1.1.3.6-1aa0a, libghc-process-dev-1.6.17.0-29e15, libghc-quickcheck-dev-2.14.3-69b0e, libghc-random-dev-1.2.1.1-68746, libghc-syb-dev-0.7.2.4-b6299, libghc-template-haskell-dev-2.19.0.0-a5ee2, libghc-text-dev-2.0.2-0847e, libghc-time-dev-1.12.2-5e302, libghc-transformers-dev-0.5.6.2-931c3, libghc-uniplate-dev-1.6.13-e4d40, libc6 (>= 2.29), libgmp10 (>= 2:6.3.0+dfsg) Filename: pool/universe/h/haskell-sbv/libghc-sbv-dev_10.2-1build1_amd64.deb Size: 7601990 MD5sum: 75aaf7cf283dab8fc28876ee67ad5ed3 SHA1: 037f770782e927f0c7a887dbf940078cf1435ab9 SHA256: 31bbc1d676036c466ff2a2689b754418c6c163895c8bff4d0bfb213a8bc70699 SHA512: 66a2f87deee601c1095a5c9390c5d0585cbe0bcdff29999b9c0fc54aba75fc3283880b92fc854538fa7d79f893dc2d80907034398003c17aae6d5a0d418459d9 Homepage: http://leventerkok.github.io/sbv/ Description: symbolic Haskell theorem prover using SMT solving Ghc-Package: sbv-10.2-H7C8tpOUfNc9yHFfX3krPk Description-md5: fb825dee1610b5f96cd67497fb87122e