-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 30 Aug 2019 18:05:32 +0200
Source: haskell-cryptol
Binary: libghc-cryptol-dev libghc-cryptol-prof libghc-cryptol-doc cryptol
Architecture: source
Version: 2.6.0-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
cryptol -
libghc-cryptol-dev -
libghc-cryptol-doc -
libghc-cryptol-prof -
Changes:
haskell-cryptol (2.6.0-4) unstable; urgency=medium
.
* debian/patches/a8eab11b319f6434f9b01b26d419b8305ff30bc2.patch:
* debian/patches/634c5a03e757663bf86d1ffad1ce2c6086d4483f.patch:
- cherry-pick two upstream patches to fix the build
Checksums-Sha1:
3821db39ae270fbb23e4f15e4881b8ec8faf2369 3389 haskell-cryptol_2.6.0-4.dsc
e4a290a772b6a7a8a61e0c39bf181f759453a067 6780 haskell-cryptol_2.6.0-4.debian.tar.xz
045d538bf9096618a2afe55b308ff35f2d4d6dd9 10424 haskell-cryptol_2.6.0-4_source.buildinfo
Checksums-Sha256:
8574e54763ba84ad9aeee0275164f6aa6c41f5e2d47d91a8ba345b4ce7cbe201 3389 haskell-cryptol_2.6.0-4.dsc
ab62eb9738bd539ba1ac16884273480e72715c60eaf2e5d693f66e0d6f6e5dc7 6780 haskell-cryptol_2.6.0-4.debian.tar.xz
656b257b5cb729b6bdf807022a35356459de621c4fe46b6790b9b651c0361cbe 10424 haskell-cryptol_2.6.0-4_source.buildinfo
Files:
d7daee5ee4354446ef2e057758e0cb0d 3389 haskell optional haskell-cryptol_2.6.0-4.dsc
3490df19c164a158eb37a0bec1a27ce0 6780 haskell optional haskell-cryptol_2.6.0-4.debian.tar.xz
f375e8444da4b975534d4d39a4ba2bf8 10424 haskell optional haskell-cryptol_2.6.0-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1pUCQACgkQ808JdE6f
XdkmERAAxoFQ/ft5fi4o9q8sNiM6JuxIe78SF7/xZ5QtM1qZ0F04nHGIEkl/tUpy
XaFNRgeW6Owir8KR1F6QcL8RwlbXncTa+mJqN4PLVdQdrUuTINspAd150PP+P7AF
efirkOlEfnqIjiioJBDs5NySIL4AdgKHaNLEqRsfNS/xcWYm3gtFEhoUB9Z1Are/
OSkKFY6PS1h7om+H5GBlkW6AYYr+kv+Jc2fApnpWnzIm6COisfDLCLuy09To9WF/
GddsPJqUhT5FGG01GTLqv4bc4WDW7eTIT7w07RXSQR32dvrbeLKeZ+HqbBhkov28
tjj7rvcuCKWcQp2uUWqcYkilRy9YKmrkyzCE7YGnQ/X1SJvCHJstjJV/DYQgfbC4
9h7jU0/OAy25D2VBxp3j3dmh0ltAePcb/q7LIYSw3K9IignZx7cMRUv1hMsKvueb
b9T1+yqNEnOESRm6eULF91yCa4lTX1WFePEfWtsO8TKHZOoOY5oyKXuVvDAUfp+i
uRjnbMIVxCcTECMG4HFsG14z8ZMbz/DHaankdFLLoFr9jjRtnV1XR4xmpa01pfy9
LD9eVnKGyGDkj7ffd1Mx4y/5gH/UJnTtzf67OrzOLTSUFuhGxFRuBqX556wgZ4ft
M/rvQsmlKm/E6FBecVj0q5FeVXUi2diJ54pwaQgWVEIACC90foc=
=IyUs
-----END PGP SIGNATURE-----
