Package: libghc-sbv-dev Architecture: amd64 Version: 10.2-1 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-023b6 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-e5694, 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-491a0, 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-1_amd64.deb Size: 7586862 MD5sum: 7390b7f7019f4f848619c67558593c4a SHA1: 56da3f75b456bc007183ef082dc68cd54649d343 SHA256: 5616ff71bfb06a692f60ce2ec258276dbc20184aa0fdddfa3375e98a381a0503 SHA512: 803b7664fa0cad1627290b85055ee5fd50f1ba3a54ee4bfa0793a62839e82146a5977fb50eef3d1304a0c2aa914f72b8d8fd5ddc0e2d7fd904e07540c793cfd3 Homepage: http://leventerkok.github.io/sbv/ Description: symbolic Haskell theorem prover using SMT solving Ghc-Package: sbv-10.2-H7C8tpOUfNc9yHFfX3krPk Description-md5: fb825dee1610b5f96cd67497fb87122e