Back to haskell-cryptol PTS page

Accepted haskell-cryptol 2.5.0-1 (source) into unstable



-----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-----