-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 0.1
Source: haskell-cryptol
Binary: libghc-cryptol-dev libghc-cryptol-prof libghc-cryptol-doc cryptol
Architecture: all amd64
Version: 2.3.0-1
Checksums-Md5:
 1b05cb434f2a91490b93e2ade3d2e6af 752782 cryptol-dbgsym_2.3.0-1_amd64.deb
 963f89233ca60ef396521bea98906ec7 2138644 cryptol_2.3.0-1_amd64.deb
 c4c60c6c7d58fe656792ba949b012279 3423318 libghc-cryptol-dev_2.3.0-1_amd64.deb
 6356f192e34409151d2b104d75e7cb9d 582036 libghc-cryptol-doc_2.3.0-1_all.deb
 6dace2316278a5cad6394d8b1fdfd90c 3731310 libghc-cryptol-prof_2.3.0-1_amd64.deb
Checksums-Sha1:
 61d653e47601f984689b3694915ba23b8c11fe57 752782 cryptol-dbgsym_2.3.0-1_amd64.deb
 57f6063c57986f1d70a8903fee4c111ae3f8efa8 2138644 cryptol_2.3.0-1_amd64.deb
 ad5aa55b6418cc7ab618d47d51137e674fbcbf81 3423318 libghc-cryptol-dev_2.3.0-1_amd64.deb
 92a71f7952679d8e72434ce834bb9de320d1d5d0 582036 libghc-cryptol-doc_2.3.0-1_all.deb
 54ddc55a9d2e7bb4bba1bc1c7ee3dbaa66a765e9 3731310 libghc-cryptol-prof_2.3.0-1_amd64.deb
Checksums-Sha256:
 0ab4f357f6467dfad5b24a3be252865e2b6a09a206e3aa85ea6ace5ad65d0c8e 752782 cryptol-dbgsym_2.3.0-1_amd64.deb
 3df9c68256ceb663b76b46ecbc28bda7ff0510b0f82833d281569120e3d449ec 2138644 cryptol_2.3.0-1_amd64.deb
 03731bc4ff7587b66f7674c3b78df7c10db1fc219a6adaedb5ef753cb82632e4 3423318 libghc-cryptol-dev_2.3.0-1_amd64.deb
 df11fdb6a055d279136ac33decb4ecd2d22601c72a1f7b95beba4a4c4ef60610 582036 libghc-cryptol-doc_2.3.0-1_all.deb
 7f1e14f61487b11869ebc6578ef5b4639b55e88789c53412dc50211e25e6c8a2 3731310 libghc-cryptol-prof_2.3.0-1_amd64.deb
Build-Architecture: amd64
Build-Path: /build/haskell-cryptol-2.3.0
Installed-Build-Depends:
 alex (= 3.1.7-4),
 autoconf (= 2.69-10),
 automake (= 1:1.15-4),
 autopoint (= 0.19.8.1-1),
 autotools-dev (= 20160430.1),
 base-files (= 9.6),
 base-passwd (= 3.5.40),
 bash (= 4.4-1),
 binutils (= 2.27-9+b1),
 bsdmainutils (= 9.0.12),
 bsdutils (= 1:2.28.2-1),
 build-essential (= 12.2),
 build-essential (= 12.2),
 bzip2 (= 1.0.6-8),
 cdbs (= 0.4.148),
 coreutils (= 8.25-2),
 cpp (= 4:6.1.1-1),
 cpp-6 (= 6.2.0-10),
 dash (= 0.5.8-2.3),
 dctrl-tools (= 2.24-2),
 debconf (= 1.5.59),
 debhelper (= 10.2.2),
 debianutils (= 4.8),
 dh-autoreconf (= 12),
 dh-buildinfo (= 0.11+nmu1),
 dh-strip-nondeterminism (= 0.028-1),
 diffutils (= 1:3.5-1),
 dpkg (= 1.18.10.0~reproducible1),
 dpkg-dev (= 1.18.10.0~reproducible1),
 e2fslibs (= 1.43.3-1),
 e2fsprogs (= 1.43.3-1),
 file (= 1:5.29-1),
 findutils (= 4.6.0+git+20160703-2),
 g++ (= 4:6.1.1-1),
 g++-6 (= 6.2.0-10),
 gcc (= 4:6.1.1-1),
 gcc-6 (= 6.2.0-10),
 gcc-6-base (= 6.2.0-10),
 gettext (= 0.19.8.1-1),
 gettext-base (= 0.19.8.1-1),
 ghc (= 7.10.3-10),
 ghc-doc (= 7.10.3-10),
 ghc-prof (= 7.10.3-10),
 grep (= 2.26-1),
 groff-base (= 1.22.3-8),
 gzip (= 1.6-5),
 happy (= 1.19.5-7),
 haskell-devscripts (= 0.12),
 haskell-devscripts-minimal (= 0.12),
 hostname (= 3.18),
 hscolour (= 1.24.1-1),
 html-xml-utils (= 7.1-1),
 init-system-helpers (= 1.45),
 intltool-debian (= 0.35.0+20060710.4),
 libacl1 (= 2.2.52-3),
 libarchive-zip-perl (= 1.59-1),
 libasan3 (= 6.2.0-10),
 libatomic1 (= 6.2.0-10),
 libattr1 (= 1:2.4.47-2),
 libaudit-common (= 1:2.6.7-1),
 libaudit1 (= 1:2.6.7-1),
 libblkid1 (= 2.28.2-1),
 libbsd-dev (= 0.8.3-1),
 libbsd0 (= 0.8.3-1),
 libbz2-1.0 (= 1.0.6-8),
 libc-bin (= 2.24-5),
 libc-dev-bin (= 2.24-5),
 libc6 (= 2.24-5),
 libc6-dev (= 2.24-5),
 libcap-ng0 (= 0.7.7-3),
 libcc1-0 (= 6.2.0-10),
 libcilkrts5 (= 6.2.0-10),
 libcomerr2 (= 1.43.3-1),
 libcroco3 (= 0.6.11-2),
 libcurl3-gnutls (= 7.50.1-1),
 libdb5.3 (= 5.3.28-12),
 libdebconfclient0 (= 0.218),
 libdpkg-perl (= 1.18.10.0~reproducible1),
 libfdisk1 (= 2.28.2-1),
 libffi-dev (= 3.2.1-6),
 libffi6 (= 3.2.1-6),
 libfile-stripnondeterminism-perl (= 0.028-1),
 libgcc-6-dev (= 6.2.0-10),
 libgcc1 (= 1:6.2.0-10),
 libgcrypt20 (= 1.7.3-2),
 libgdbm3 (= 1.8.3-14),
 libghc-ansi-terminal-dev (= 0.6.2.3-1),
 libghc-async-dev (= 2.1.0-1),
 libghc-async-doc (= 2.1.0-1),
 libghc-async-prof (= 2.1.0-1),
 libghc-base-compat-dev (= 0.9.1-1),
 libghc-base-compat-doc (= 0.9.1-1),
 libghc-base-compat-prof (= 0.9.1-1),
 libghc-cracknum-dev (= 1.5-1),
 libghc-cracknum-prof (= 1.5-1),
 libghc-data-binary-ieee754-dev (= 0.4.4-5),
 libghc-data-binary-ieee754-prof (= 0.4.4-5),
 libghc-deepseq-generics-dev (= 0.1.1.2-4),
 libghc-deepseq-generics-doc (= 0.1.1.2-4),
 libghc-deepseq-generics-prof (= 0.1.1.2-4),
 libghc-generic-trie-dev (= 0.3.0.2-1),
 libghc-generic-trie-doc (= 0.3.0.2-1),
 libghc-generic-trie-prof (= 0.3.0.2-1),
 libghc-gitrev-dev (= 1.2.0-1),
 libghc-gitrev-doc (= 1.2.0-1),
 libghc-gitrev-prof (= 1.2.0-1),
 libghc-graphscc-dev (= 1.0.4-1),
 libghc-graphscc-doc (= 1.0.4-1),
 libghc-graphscc-prof (= 1.0.4-1),
 libghc-heredoc-dev (= 0.2.0.0-1),
 libghc-heredoc-doc (= 0.2.0.0-1),
 libghc-heredoc-prof (= 0.2.0.0-1),
 libghc-ieee754-dev (= 0.7.8-1),
 libghc-ieee754-prof (= 0.7.8-1),
 libghc-monad-control-dev (= 1.0.1.0-1),
 libghc-monad-control-doc (= 1.0.1.0-1),
 libghc-monad-control-prof (= 1.0.1.0-1),
 libghc-monadlib-dev (= 3.7.3-1),
 libghc-monadlib-doc (= 3.7.3-1),
 libghc-monadlib-prof (= 3.7.3-1),
 libghc-mtl-dev (= 2.2.1-3),
 libghc-mtl-prof (= 2.2.1-3),
 libghc-old-locale-dev (= 1.0.0.7-3),
 libghc-old-locale-prof (= 1.0.0.7-3),
 libghc-old-time-dev (= 1.1.0.3-2),
 libghc-old-time-doc (= 1.1.0.3-2),
 libghc-old-time-prof (= 1.1.0.3-2),
 libghc-presburger-dev (= 1.3.1-1),
 libghc-presburger-doc (= 1.3.1-1),
 libghc-presburger-prof (= 1.3.1-1),
 libghc-primitive-dev (= 0.6.1.0-2),
 libghc-primitive-prof (= 0.6.1.0-2),
 libghc-quickcheck2-dev (= 2.8.2-1),
 libghc-quickcheck2-doc (= 2.8.2-1),
 libghc-quickcheck2-prof (= 2.8.2-1),
 libghc-random-dev (= 1.1-3),
 libghc-random-doc (= 1.1-3),
 libghc-random-prof (= 1.1-3),
 libghc-sbv-dev (= 5.11-1),
 libghc-sbv-doc (= 5.11-1),
 libghc-sbv-prof (= 5.11-1),
 libghc-simple-smt-dev (= 0.6.0-1),
 libghc-simple-smt-doc (= 0.6.0-1),
 libghc-simple-smt-prof (= 0.6.0-1),
 libghc-smtlib-dev (= 1.0.8-1),
 libghc-smtlib-doc (= 1.0.8-1),
 libghc-smtlib-prof (= 1.0.8-1),
 libghc-stm-dev (= 2.4.4.1-1),
 libghc-stm-prof (= 2.4.4.1-1),
 libghc-syb-dev (= 0.6-1),
 libghc-syb-doc (= 0.6-1),
 libghc-syb-prof (= 0.6-1),
 libghc-text-dev (= 1.2.2.1-1),
 libghc-text-doc (= 1.2.2.1-1),
 libghc-text-prof (= 1.2.2.1-1),
 libghc-tf-random-dev (= 0.5-5+b1),
 libghc-tf-random-doc (= 0.5-5),
 libghc-tf-random-prof (= 0.5-5+b1),
 libghc-transformers-base-dev (= 0.4.4-4+b1),
 libghc-transformers-base-doc (= 0.4.4-4),
 libghc-transformers-base-prof (= 0.4.4-4+b1),
 libghc-transformers-compat-dev (= 0.4.0.4-5),
 libghc-transformers-compat-prof (= 0.4.0.4-5),
 libghc-utf8-string-dev (= 1.0.1.1-2),
 libghc-utf8-string-doc (= 1.0.1.1-2),
 libghc-utf8-string-prof (= 1.0.1.1-2),
 libglib2.0-0 (= 2.50.1-1),
 libgmp-dev (= 2:6.1.1+dfsg-1),
 libgmp10 (= 2:6.1.1+dfsg-1),
 libgmpxx4ldbl (= 2:6.1.1+dfsg-1),
 libgnutls30 (= 3.5.5-6),
 libgomp1 (= 6.2.0-10),
 libgpg-error0 (= 1.24-1),
 libgssapi-krb5-2 (= 1.14.3+dfsg-2),
 libhogweed4 (= 3.3-1),
 libicu57 (= 57.1-4),
 libidn11 (= 1.33-1),
 libidn2-0 (= 0.10-3),
 libisl15 (= 0.17.1-1),
 libitm1 (= 6.2.0-10),
 libk5crypto3 (= 1.14.3+dfsg-2),
 libkeyutils1 (= 1.5.9-9),
 libkrb5-3 (= 1.14.3+dfsg-2),
 libkrb5support0 (= 1.14.3+dfsg-2),
 libldap-2.4-2 (= 2.4.42+dfsg-2+b3),
 liblsan0 (= 6.2.0-10),
 liblzma5 (= 5.2.2-1.2),
 libmagic-mgc (= 1:5.29-1),
 libmagic1 (= 1:5.29-1),
 libmount1 (= 2.28.2-1),
 libmpc3 (= 1.0.3-1),
 libmpfr4 (= 3.1.5-1),
 libmpx2 (= 6.2.0-10),
 libncurses5 (= 6.0+20160917-1),
 libncurses5-dev (= 6.0+20160917-1),
 libncursesw5 (= 6.0+20160917-1),
 libnettle6 (= 3.3-1),
 libnghttp2-14 (= 1.16.0-1),
 libp11-kit0 (= 0.23.2-5),
 libpam-modules (= 1.1.8-3.3),
 libpam-modules-bin (= 1.1.8-3.3),
 libpam-runtime (= 1.1.8-3.3),
 libpam0g (= 1.1.8-3.3),
 libpcre3 (= 2:8.39-2),
 libperl5.24 (= 5.24.1~rc3-3),
 libpipeline1 (= 1.4.1-2),
 libquadmath0 (= 6.2.0-10),
 librtmp1 (= 2.4+20151223.gitfa8646d.1-1),
 libsasl2-2 (= 2.1.27~72-g88d82a3+dfsg-1),
 libsasl2-modules-db (= 2.1.27~72-g88d82a3+dfsg-1),
 libselinux1 (= 2.6-1),
 libsemanage-common (= 2.6-1),
 libsemanage1 (= 2.6-1),
 libsepol1 (= 2.6-1),
 libsigsegv2 (= 2.10-5),
 libsmartcols1 (= 2.28.2-1),
 libss2 (= 1.43.3-1),
 libssh2-1 (= 1.7.0-1),
 libstdc++-6-dev (= 6.2.0-10),
 libstdc++6 (= 6.2.0-10),
 libsystemd0 (= 231-9),
 libtasn1-6 (= 4.9-4),
 libtimedate-perl (= 2.3000-2),
 libtinfo-dev (= 6.0+20160917-1),
 libtinfo5 (= 6.0+20160917-1),
 libtool (= 2.4.6-2),
 libtsan0 (= 6.2.0-10),
 libubsan0 (= 6.2.0-10),
 libudev1 (= 231-9),
 libunistring0 (= 0.9.6+really0.9.3-0.1),
 libustr-1.0-1 (= 1.0.4-5),
 libuuid1 (= 2.28.2-1),
 libxml2 (= 2.9.4+dfsg1-2.1),
 linux-libc-dev (= 4.7.8-1),
 login (= 1:4.2-3.2),
 m4 (= 1.4.17-5),
 make (= 4.1-9),
 man-db (= 2.7.5-1),
 mawk (= 1.3.3-17),
 mount (= 2.28.2-1),
 multiarch-support (= 2.24-5),
 ncurses-base (= 6.0+20160917-1),
 ncurses-bin (= 6.0+20160917-1),
 passwd (= 1:4.2-3.2),
 patch (= 2.7.5-1),
 perl (= 5.24.1~rc3-3),
 perl (= 5.24.1~rc3-3),
 perl-base (= 5.24.1~rc3-3),
 perl-modules-5.24 (= 5.24.1~rc3-3),
 po-debconf (= 1.0.20),
 sed (= 4.2.2-8),
 sensible-utils (= 0.0.9),
 sysvinit-utils (= 2.88dsf-59.8),
 tar (= 1.29b-1.1),
 util-linux (= 2.28.2-1),
 xz-utils (= 5.2.2-1.2),
 zlib1g (= 1:1.2.8.dfsg-2+b3)
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJYH0YbAAoJEF+j2jl5b7rPbfwP/RCQZ5iPaHANCKUjgl6t4LYJ
hEUDRy6Du5RsPXKdgme4sKY0NLlZy+sc+UobSd/BHaF6rxp2f4DSS4iB2XkFGPgs
GoMsbig6vlIsPj/rx1vzDiEUE1hKFTUu/T+J836BQpZo2Sc3lyw/fqoD1MBPQBr5
EniZUoN3hzJBO+ZhB0dn06aNZBLGtCq38btLuEFPR1pUlqkvGFXbuqV3KBK5Kz8M
MbidbqiHCvmq1eXwgKlPzkVF8j4ZSFak3Kbgy0xjc5GDZdA9KvZmNigk9nnB+zvH
Xxs/WHczp1ZL8L1TLgStI61qa4Pcn3aKsw+xNe+9Ta4q93hVnA4NB1HhQdXyW1u7
A6CfzPeL3FcMgC8l9UnLVY2PnwVFDOCRheaTGaIrkdXB0Wh9G8nM8+10fusRZNN4
oUX+Ndoi23saYDz4BzRZo46W3MON4SpDAdG9rdfqg9O1zLaC3HvKlwhgOAjFcacX
qeyjet7fBGP3Q3L3t0rvs4nUrjVt242z0W5FdxF3Kx4RNMl2lGHja1fuOONFvCU7
tqrbroA5AEn1S6mfwd5XJA94AlGMRcIYDHuWgeHiUYB+iy8RIHdlIgtt4qq5I7sn
lxZfRX8CI7bLL46YmXfGVoTOCi/I+dPlODSC2GuzIb44NCJeFFM5bhuMBO6jgvim
htC7JC3fW6aMHSuEKj2I
=Vgy+
-----END PGP SIGNATURE-----