-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 09 Apr 2018 22:47:51 -0400 Source: haskell-cryptol Binary: libghc-cryptol-dev libghc-cryptol-prof libghc-cryptol-doc cryptol Architecture: source Version: 2.5.0-1 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Clint Adams <clint@debian.org> Description: cryptol - libghc-cryptol-dev - libghc-cryptol-doc - libghc-cryptol-prof - Changes: haskell-cryptol (2.5.0-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: 35ee59a029abe8e1133d76d7a707d7c2c018df22 3961 haskell-cryptol_2.5.0-1.dsc 16971d0311da208b77da6225026014d4eb2b798a 337123 haskell-cryptol_2.5.0.orig.tar.gz af8f47c610488c67b21d25d27072a4477e6106e0 3032 haskell-cryptol_2.5.0-1.debian.tar.xz 59a7aa71fdae9068d5e7be219159361c7563d609 7773 haskell-cryptol_2.5.0-1_source.buildinfo Checksums-Sha256: 89d62465a3c6476b4b304d9e1889a08c4b55b616b9b3ae4f9462635030288bbe 3961 haskell-cryptol_2.5.0-1.dsc 910928617beb1434ad5681672b78ede5dda7715b85dcb8246fa8d9ddb2261cf1 337123 haskell-cryptol_2.5.0.orig.tar.gz 08fb0930fc8502dcf9e9a6a9349ac85ed9ddd0438e764abd026030fbbebf6233 3032 haskell-cryptol_2.5.0-1.debian.tar.xz 2d0179a243948de723bb657d4c2555c3525d654d907bab92e4db1da45584d8b4 7773 haskell-cryptol_2.5.0-1_source.buildinfo Files: 79f47b313ad29e188a7500e91b0ad491 3961 haskell optional haskell-cryptol_2.5.0-1.dsc 8ab4f20887f2d9cbd80f4a57154b50a3 337123 haskell optional haskell-cryptol_2.5.0.orig.tar.gz 7742d31a9b4f6aa6978b741d480f0133 3032 haskell optional haskell-cryptol_2.5.0-1.debian.tar.xz c0d994cd51f2cf1fdefa6e09f7fecb43 7773 haskell optional haskell-cryptol_2.5.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- Comment: Debian! iQKlBAEBCgCPFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAlrMJiBfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDc1 ODFFQzg3NDA1M0U2QzgwNzc5MUI5QjU1OTIzMzFFMTk5RDM4QTgRHGNsaW50QGRl Ymlhbi5vcmcACgkQVZIzHhmdOKi7pBAApi6gtmL6XKsBBSsMDtkSiVErS7mJr9FJ l8HjcnfUtonMfkCR0PpW+v10oDOZDgfIM6lTJQ1ZxjhsxVhoP2n6mXJoCUMkCCsu T99sSztdK9jujvfXk3bG9RmC9AmylcNTkZPSQbHn24d8i0aaU7TSA5SILhsdNrBa 8iZt8j7Wk9dEbFjYBBOwmRchGqCMscdd/ljTb/xuHXDfES/pgqyCb5cj7eedziAm 99lQOevXELl2cqsAU/uk4tW89HEZGi65xTI3ftPBmO2sGK4s0L5Nyh9OeKVtrpmi gWy7XDeERfA6GD8bGgp9Pp2e3me8JtDuNdzsUy+MI/pnPZt0T3am8ac7Hla/14eX /a6NLsPGvBf5B/k7IxXtD9x8aEJt8emUGG/SjJDzso2FHyuj7cYJ6rT6sdu7lfGj k5MmHbkKXy1KAqbf/ukiJJRVzw+Zqiq1T7HtXQWXzq2iipWjWtHK3AXeCz7zA10i 7eQ4Hd1MBBKt7MOoU9Ti7r2nVdm4U0zPaJZEtyJFhFOHZ+Eu/PtHddC4hIbG1E7C lG++ml6eMhzGHo1Acche0ygQ7qhCAc/5+23sZekZ1GjEA2UvJC7LVuVDO9mTsCRG G9SEhXCB1hbuuNwTlXbh5JCmz/lIBZBO8IOSreLk1bKQWiOnCbsD/Rna+se7iSkq JtKMLgvCepY= =jVsZ -----END PGP SIGNATURE-----
