-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 17 Oct 2016 01:28:43 -0400
Source: haskell-sbv
Binary: libghc-sbv-dev libghc-sbv-prof libghc-sbv-doc
Architecture: source
Version: 5.12-1
Distribution: experimental
Urgency: medium
Maintainer: Debian Haskell Group
<pkg-haskell-maintain...@lists.alioth.debian.org>
Changed-By: Clint Adams <cl...@debian.org>
Description:
libghc-sbv-dev - ${haskell:ShortDescription}${haskell:ShortBlurb}
libghc-sbv-doc - ${haskell:ShortDescription}${haskell:ShortBlurb}
libghc-sbv-prof - ${haskell:ShortDescription}${haskell:ShortBlurb}
Changes:
haskell-sbv (5.12-1) experimental; urgency=medium
.
* New upstream version.
Checksums-Sha1:
37a8af709ae4f0c1684cf47a1cbb231fc54ed6c8 2929 haskell-sbv_5.12-1.dsc
884952f23d3cc85b938413c18a08d2315b443863 526586 haskell-sbv_5.12.orig.tar.gz
58cabe3a0d51627eb3b0fbebd28b502b4cc4a603 2400 haskell-sbv_5.12-1.debian.tar.xz
Checksums-Sha256:
7b2bf1f8d8a2424e2a69a86fd3c1b4eae1d7773a4f922959d5a45b9896283716 2929
haskell-sbv_5.12-1.dsc
0c43caeb77fd6a3d6d4e8e71835da0ca5e207dcc2b0bf6ef07abb7dd5c3bd55f 526586
haskell-sbv_5.12.orig.tar.gz
15bef73ae16eb30ded0d8c71a79598092fab19a048135ba467d8a5e87d078e6d 2400
haskell-sbv_5.12-1.debian.tar.xz
Files:
5f3bccc8730e5695f6a2c7fa5aa8fd7f 2929 haskell extra haskell-sbv_5.12-1.dsc
0d953d138e252d39640fc7b334ac6aca 526586 haskell extra
haskell-sbv_5.12.orig.tar.gz
9c1c24b3b85f347ea4931c15d57ec54b 2400 haskell extra
haskell-sbv_5.12-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: Debian!
iQKOBAEBCgB4BQJYBGGdXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTio3dQP
+wQQ5VChAYehKK+mFTjjlkNKqeMNgKxw/Iv2LxVKwgC/MszSsIqp+p/riYjVg9u+
lnuYQjMoW5nkbCfTwGX/28sbuh8Q1fxVB9bJa6p51fXeQw1JQMlfPmou34Ktx7EZ
/y9mI57T/o1fdaHNcsoKL8Mq53oOZc2qylwmzadw3wJiuSZwqCBWCUK22IGrwSNB
Tun3wk8UsQx1aSgD/Gq0LK5ZumW4fmWC3n3i+Qegwc/XGYdeILj4TE7LBE7Dv8o/
p7H3aXwDCqm5pF3Nozf2++yjJlzZZnhtiX94gmQcdoug9ytd9McqTXbO+VN1WrKJ
MnmswbKc2+zv0pNISvIYnhkqeHsiZ0HteZ8F3cN3G6Iyr7Af7Fsj75c6OgnZxH8N
ZO9R7PlgoK9ixr3BUnsvHd5V47PGq+nHhXjp2hlQ3fgU/N0jJB7pFwq2u6Wgj+Tq
OsCN4jIMeDnLTbvpT7bKnWvk+FTHKxGCHXvqszjVngdjxpmzoSg2DzvmOQFCaUKl
qR4mYouoWzk6kXLkukODbWyViGDOgWP83+JUCUgl2hP305jEMulrTsnEJgm4qpIg
Uglb8OvqmBmjL0u+VINkB6FLdKJ4sGhxwj2+GkcstqSYxHWqVQ6uYvTH+dgKLjOO
RN5jlkNfeFI8IMcWiZZSy8k7/ikEpUHGSDNxPXIOqBrA
=3yzJ
-----END PGP SIGNATURE-----
