-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 17 Oct 2016 12:15:51 -0400
Source: haskell-cryptol
Binary: libghc-cryptol-dev libghc-cryptol-prof libghc-cryptol-doc cryptol
Architecture: source
Version: 2.4.0-1
Distribution: experimental
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Clint Adams <clint@debian.org>
Description:
cryptol - ${haskell:ShortDescription}${haskell:ShortBlurb}
libghc-cryptol-dev - ${haskell:ShortDescription}${haskell:ShortBlurb}
libghc-cryptol-doc - ${haskell:ShortDescription}${haskell:ShortBlurb}
libghc-cryptol-prof - ${haskell:ShortDescription}${haskell:ShortBlurb}
Changes:
haskell-cryptol (2.4.0-1) experimental; urgency=medium
.
* New upstream version.
Checksums-Sha1:
54b3b12eeb49095b52cc3a8f2590121a0a18228f 3864 haskell-cryptol_2.4.0-1.dsc
032314eaf42c9b8862f2235dd050b00a32afcd04 297287 haskell-cryptol_2.4.0.orig.tar.gz
03c48c6d277bdfbfedc6d5619aad2e3a0f0b7c86 2760 haskell-cryptol_2.4.0-1.debian.tar.xz
Checksums-Sha256:
7815702943fffae9e0554abdaf76d6f498e9e2b8d7e52afb9b6a4e89f9a4e263 3864 haskell-cryptol_2.4.0-1.dsc
d34471f734429c25b52ca71ce63270ec3157a8413eeaf7f65dd7abe3cb27014d 297287 haskell-cryptol_2.4.0.orig.tar.gz
196fecd0f8004677cdbe7209a84c913116922566bea90b348d2758934e7f1239 2760 haskell-cryptol_2.4.0-1.debian.tar.xz
Files:
cdafd6997fe1ff936800b667783839ad 3864 haskell extra haskell-cryptol_2.4.0-1.dsc
fea327044f959401ed3c5d2b5c193a19 297287 haskell extra haskell-cryptol_2.4.0.orig.tar.gz
ac41fa0fa974fa68284dfb11b45fd7a6 2760 haskell extra haskell-cryptol_2.4.0-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: Debian!
iQKOBAEBCgB4BQJYBPlPXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTio6tAP
/3+kaUPX5VXkaM75SgUnJSdn6FLvOxyVLUSycuiXJAf+Dqkcnt8HCoH6bstc43oq
6QpXHwnNhmIhId++MVNFtMPncMHLxJwX7IWslgeYcvXzyH1vUawzve4dcn5hbsYo
bpOA8+bsJmhUtN13+JyCcbwY7hNLPnHlvOprmfAORwUZIRKAJpK+xLh2ErWrq0HC
pkCNee6lj6flEWLcRpLQOHqBxPt2xciUAO89+a1kMq7xfd29yBJJD219MS2Vtugr
QhYGmx1Zm4QI1EzHo4iUUsWF/i2jTVuCL20yTXYLuJl90Mdgt9fQCqavV3u1iqrM
N6baPIGaZm59i7h5e2gOganDhnp0aPu43P/axV7/PV+8EUWhyqL8cCTwyQ/505Nf
9aE2y+lf3Dr5nfjR7EqM4XfjHr7ODcSBUm12QkNi16VcPQN5W7mIXYQrSa5Bsb8W
ad/N03gkm8VlSZCmY937tVMLX7kZgwPZ9Hg5xy42kYalwTHzNqdDSyAWSBrIYSQU
KV6OJiY7K9iVlryRphy6omx3j34pMkyDgndz9x9KafJRhPW0y1DQ93ngQ2l4iave
5V2moWD0jwTBIj4YbRvbTuALvGaSmG3T4HUnxNBsSk7Vp6cIHwoEGiEfVacNEXRN
bOOCBPSahPaLFEQF/Yy/qoUnV8MjE2J1E8lsd4p+rnRQ
=+dYH
-----END PGP SIGNATURE-----
