[ubuntu/zesty-proposed] haskell-smtlib 1.0.8-3build1 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Tue Jan 24 10:48:20 UTC 2017


haskell-smtlib (1.0.8-3build1) zesty; urgency=medium

  * Rebuild against new GHC ABI.

Date: Tue, 24 Jan 2017 11:47:22 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/haskell-smtlib/1.0.8-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 24 Jan 2017 11:47:22 +0100
Source: haskell-smtlib
Binary: libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc
Architecture: source
Version: 1.0.8-3build1
Distribution: zesty
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at 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-3build1) zesty; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 4e111086ebcae02f202b33912b53da7e1d12a5e0 2197 haskell-smtlib_1.0.8-3build1.dsc
 728d3f40c3986e13a7e64a37bd8eed1d698fe987 2280 haskell-smtlib_1.0.8-3build1.debian.tar.xz
Checksums-Sha256:
 d6e046c63b26c3209493d7341a79841a06955e1fe5417fffbf349f0b8274ae75 2197 haskell-smtlib_1.0.8-3build1.dsc
 c9540174893bc25d52809b4f23e365d960a9b418e8723a5ffb50b477637895ee 2280 haskell-smtlib_1.0.8-3build1.debian.tar.xz
Files:
 b4edd335d924563da838e8b4e505eb47 2197 haskell extra haskell-smtlib_1.0.8-3build1.dsc
 e4d967dc2e47fee965e5c053893b2de7 2280 haskell extra haskell-smtlib_1.0.8-3build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJYhzC7AAoJEPNPCXROn13ZZ7kP/RFTNeAJXJNAZ5RLQANONVkm
bYBl7zYAmS9wIesG+J4CVnlFdY2kJdSrcGvNzIvWDqH8upWAeKgLOfcFANapYf0u
xJydOHTdKXv50L9kj374LcjqI1z/F80dr66NujDl0rLCoIyy2VF+/NkHQbPeJP5a
FkITOhQe5SwmaVjWGb+Fa966cX+9kpDVw76eVLuA9u8zyAb782gdPTyMu3wYKSXa
VE+31Srf403R2oN2GbbXybRTMi9eaGEG9uaoMX6QfHbtoIIerp7/cfUBOJsv1vOU
AlKQ4YeU6DsKb6htHkX9Tc07sH9uLymbt1HE0P/eSbHncTwOfnZPmlkWqIiJSzTw
Nr496V6DF8eahZDfo1YbgDaR4P5ri2nurX4ufrA/OTsZuFykVHJuE7WAtfKXyNOJ
TF+lNPxsitQNPaZgpBTbzweLr4roi/3dlpo7Ng152hJS1fueuZR5z+JDTZTrSkc5
1cjHEA+7toom3UL1vusgF6vgW3pH2crHHV3+lUUvF4ikv+7UKh5LTABA5caGe7X4
Re+kRuB2dhJWssvH99xNgG0BQRHeXuFqXsTOFjmrr3iAurotq8svxnrHJ3j6g5S7
AuVuktB3tmyWDtbJFtrlVZoIFlVQOQpT8g2N3kqLVfcl1P5H0YXIID0m/UH10vz0
gUSnQth3pwGlTQVHdH6W
=tPdB
-----END PGP SIGNATURE-----


More information about the Zesty-changes mailing list