Package: libghc-bv-sized-dev Architecture: amd64 Version: 1.0.5-1 Priority: optional Section: universe/haskell Source: haskell-bv-sized Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 1630 Provides: libghc-bv-sized-dev-1.0.5-2fefd Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-bitwise-dev-1.0.0.1-e8e88, libghc-bytestring-dev-0.11.5.2-6590e, libghc-deepseq-dev-1.4.8.0-ddf16, libghc-panic-dev-0.4.0.1-848c2, libghc-parameterized-utils-dev-2.1.7.0-9f482, libghc-random-dev-1.2.1.1-68746, libghc-th-lift-dev-0.8.4-e81ed, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg) Filename: pool/universe/h/haskell-bv-sized/libghc-bv-sized-dev_1.0.5-1_amd64.deb Size: 180978 MD5sum: bd1c8fb44f527e2fb751d87e527dfb51 SHA1: 813efe856a82732c01e661983548b94316b8cbdb SHA256: 4a64070fcde6f11141fc6eede8d118d620fa1c08dd1785b82b154f25abfd3006 SHA512: 95cd408b40a078d2cdb9eb83656e049448560c6405cfa0bc0d788f3ef45e767b0c961cfba04e49905eb5446303735cc586442dcc2ab38301db425465aa4af86a Homepage: https://github.com/GaloisInc/bv-sized Description: bitvector datatype parameterized by the vector width Ghc-Package: bv-sized-1.0.5-IDKhEWZ3nUo3z3zx0EtHRF Description-md5: 3e154d3cb33d061bc9db856a47d09a03