Package: libghc-dec-dev
Architecture: amd64
Version: 0.0.6-1
Priority: optional
Section: universe/haskell
Source: haskell-dec
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 116
Provides: libghc-dec-dev-0.0.6-419a5
Depends: libghc-base-dev-4.18.2.1-8e81e, libghc-boring-dev-0.2.2-23470, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/h/haskell-dec/libghc-dec-dev_0.0.6-1_amd64.deb
Size: 16864
MD5sum: 061d1315b69ecb783f1dbd253a87827f
SHA1: 8583f235a67b69f9fd08ad832a35a7e1b93f83cd
SHA256: 013dee218838d1b1c7fed1e51db6ad6ed12fa438f548485147f6f86b422e1433
SHA512: 5001b9cac049d05b4e483284f386be6403385e1568a13282db0d53fd664d5c1addc3cbda86d10a89910262cd875b53cdbb86182db28a3079c27648369e3217e4
Homepage: https://github.com/phadej/dec
Description: decidable propositions
Ghc-Package: dec-0.0.6-Gi13s4tC5iXEYzAbt03jIh
Description-md5: 70d0377493c12db616bdbc4b63c5a322