Back to haskell-smtlib PTS page

Accepted haskell-smtlib 1.0.8-2 (source) into experimental



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 14 Oct 2016 14:13:14 -0400
Source: haskell-smtlib
Binary: libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc
Architecture: source
Version: 1.0.8-2
Distribution: experimental
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-2) experimental; urgency=medium
 .
   [ Clint Adams ]
   * Temporarily build-depend on ghc 8.
Checksums-Sha1:
 5d9e82e0a472e0e4cc87e8815b78c1497023b819 2326 haskell-smtlib_1.0.8-2.dsc
 6aef4446de73784f8993f47057ba0f3020acedd9 9533 haskell-smtlib_1.0.8.orig.tar.gz
 41503482371423f1f455dddea8e83c723609689d 2164 haskell-smtlib_1.0.8-2.debian.tar.xz
Checksums-Sha256:
 e2415475f169dddea2cd1d7cf1427bdad0f2563b1656e6f4f66926605d38ef40 2326 haskell-smtlib_1.0.8-2.dsc
 37016f9322742c88c89d692e62d01c419b03242bbc6d84da4dab772408ad21a9 9533 haskell-smtlib_1.0.8.orig.tar.gz
 9dac8a5919219cbd31cd26678c353216e9f23655bdfdde32c7121179cda8a3fb 2164 haskell-smtlib_1.0.8-2.debian.tar.xz
Files:
 f4e1f63c25fea1ec396ca9d1ec02f2e4 2326 haskell extra haskell-smtlib_1.0.8-2.dsc
 20365ad9ea1ac0e9d0502c84602d09d1 9533 haskell extra haskell-smtlib_1.0.8.orig.tar.gz
 39d0823eeefb3b990a4429b136d72f71 2164 haskell extra haskell-smtlib_1.0.8-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Comment: Debian!

iQKOBAEBCgB4BQJYASB0XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTioMpoP
/jcT9CPGRbWO/BZekelM8neMCtAt86+twNTniaoYisbyvDB8ozcbDmPKYMrc+tFf
xUbJdO2QfejSoVkAjeD2Z9D96hJlNhDWwndvrBWgs14E6tkcsvpOf5AJDKqnXyv0
4Jel9hinkTcj0gcJxSDtLiMDxUXBS4anGNBTGez+hZ3/jjrRb2RP02CMUoC4170X
ZvxxMjguh2/UBbffdfs5bl9wKVQVYPJH2FKabCOpVvQ/7KfNBZHFwzC0CfGqDcst
pb+bA1+byrbqf0qWD8b7puT1LU1TUoiAmI6xR1vN8ssd58ccVHxeUrr4Z11/KGDX
mJyjTg5hVd8gmAz6V+rgJhQLE5yLUIVvhAphsGrdnQBoT0H3vsLEzXcm/gvWa232
H9nP+Xgz5Psc6ee+/m3jsN39Y8mqhvN7wLRQQlB2pXDIwcqV1skOdeUdG01Htwun
aNOsHtuOjlNE5uRAJxRLtq2wmneimmV8dVGDdGVV0k3Y7Bsc6n7e5o3jp6M/wqDB
ZiFzL/5UntWb4XuqbDIPv0aXKDPVhGqf0ocGDkl3d9EQzVhPk+NgV75Z6Eqv9W68
X31d0j5MFoMbAD67o6amzz9SHs5G6I/8e3wOQgV9nkiBeblIivW7+Ayc4ZMfa69N
wdXVySqysAVDu9nYuPf3G1E6Qy6bjbJCpUsh33GF1pjj
=ucVD
-----END PGP SIGNATURE-----