-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 27 Oct 2016 18:36:08 -0400
Source: haskell-smtlib
Binary: libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc
Architecture: source
Version: 1.0.8-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Clint Adams <clint@debian.org>
Description:
libghc-smtlib-dev - ${haskell:ShortDescription}${haskell:ShortBlurb}
libghc-smtlib-doc - ${haskell:ShortDescription}${haskell:ShortBlurb}
libghc-smtlib-prof - ${haskell:ShortDescription}${haskell:ShortBlurb}
Changes:
haskell-smtlib (1.0.8-3) unstable; urgency=medium
.
* Upload to unstable as part of GHC 8 transition.
Checksums-Sha1:
514943cae48f60a92006fbf9dcad0ac165ccea5f 2326 haskell-smtlib_1.0.8-3.dsc
6aef4446de73784f8993f47057ba0f3020acedd9 9533 haskell-smtlib_1.0.8.orig.tar.gz
7e3ed64a2a11f5ec57c0c07ea653577dc4eb71b1 2212 haskell-smtlib_1.0.8-3.debian.tar.xz
Checksums-Sha256:
707331b1ab0b25e3eefcc65972aaa8be91742881b20171009a8730cfb77eeddf 2326 haskell-smtlib_1.0.8-3.dsc
37016f9322742c88c89d692e62d01c419b03242bbc6d84da4dab772408ad21a9 9533 haskell-smtlib_1.0.8.orig.tar.gz
73fe47cd19db7a1806544eebd2890d99341570fe880bdb69f1a8fa965e334444 2212 haskell-smtlib_1.0.8-3.debian.tar.xz
Files:
34a54fa770133666257d28f838ecf55d 2326 haskell extra haskell-smtlib_1.0.8-3.dsc
20365ad9ea1ac0e9d0502c84602d09d1 9533 haskell extra haskell-smtlib_1.0.8.orig.tar.gz
51738fa0557e4c01d3850f453076d362 2212 haskell extra haskell-smtlib_1.0.8-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: Debian!
iQKOBAEBCgB4BQJYEpOYXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTiocBQP
/jEKKW8Q3/CRXeqNaB5jkzYBENfR3ZMyqyy6JDvEzq9OKGu5bLlOV6Pc9GEOEIzI
iB4u4SkxFDNlSu7hrK9cKDEg2lD3vFH8ystjuuGklyqKO922m9fYJxemMjXD1rIO
kjhXLzJdbmV1MKLDm5rXoxAx2S3HcB566pgzqWxPZA1vZsESZYhGrQ3RMEJFUqIe
o+zXFP6Kx280YdNAO/kgymB56Z9juJHrloudYdcBjGccnOKi527I7Q/Z8Ad4tEzD
sQREzPPhLtBjTiaYerTTs7WcZ0CUJapRGqTIj7r4Js0Be5G1eOyKeDZBrME/CcRF
XR46Bf7rBQyjS3muFzuYO/0Svn2S84UsOuUoNyT14xhEhX627brMdqJA5jzLA0hj
G8T/LnkpfBLv683YieqAvZYctFNMFUz8cookkqegA3jdp90eGi8GYWLHwJXWp3pQ
PiYEmF6xZhvF/xwV6oXqFAf+/d6IkT4hBiZWNjwjQVVzQzVc/wCHMIULdLCPonE+
Tmm9UqWpBlp1vPM9vjuo/Mo392jvajyPqVaoXwgDSj0HmQgOWi++aLnBXGpkJ5G9
pAxJ8J3BCFEpky8lPxbnHt/Nh9Ahx2RwP6tT1R9TDwmLyKPNRZoQxZcAUjGX9dj1
P/wtfeIRDmdcNrj5LTrJzi6BsqL5Gn9S/VP1whIMZN2p
=jEaf
-----END PGP SIGNATURE-----
