Back to haskell-smtlib PTS page

Accepted haskell-smtlib 1.0.9-1 (source) into unstable



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

Format: 1.8
Date: Tue, 03 Jul 2018 08:19:45 -0400
Source: haskell-smtlib
Binary: libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc
Architecture: source
Version: 1.0.9-1
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 -
 libghc-smtlib-doc -
 libghc-smtlib-prof -
Changes:
 haskell-smtlib (1.0.9-1) unstable; urgency=medium
 .
   * Set Rules-Requires-Root to no.
   * New upstream release
Checksums-Sha1:
 eb1d111ac5a0dfe336031ac0bab7658382a5d030 2379 haskell-smtlib_1.0.9-1.dsc
 7a4f3338b2c69642f0c7a38c27666e94974b4506 9583 haskell-smtlib_1.0.9.orig.tar.gz
 8d057491c80121938dbfe95da9f939d354c63263 2444 haskell-smtlib_1.0.9-1.debian.tar.xz
 88010c6686a27ce9aed31ac06c364bd215b0c2b2 6568 haskell-smtlib_1.0.9-1_source.buildinfo
Checksums-Sha256:
 0e0987e7ef4b307e88300726438de7f25292bb3387032cde6fec2e663436675f 2379 haskell-smtlib_1.0.9-1.dsc
 8c7dbfcf1efcc513031f28529a8af853247e31371a656a33176a3eff6ee10ea6 9583 haskell-smtlib_1.0.9.orig.tar.gz
 b4d16625668b8f4552ab9c2a1ce4380c13c2b614938019fb2f6a7627987938cf 2444 haskell-smtlib_1.0.9-1.debian.tar.xz
 26cb26dbbb343eb25e47b4e8509d53a2f094e03c455dd975716e75533fa78e90 6568 haskell-smtlib_1.0.9-1_source.buildinfo
Files:
 6323591bd696f4bee6a3a0a2d1d91d9b 2379 haskell optional haskell-smtlib_1.0.9-1.dsc
 3496ad183e89396c51e91e438c50669f 9583 haskell optional haskell-smtlib_1.0.9.orig.tar.gz
 601f36336c534200c31187b2e8f0a6b7 2444 haskell optional haskell-smtlib_1.0.9-1.debian.tar.xz
 bcea37375cf69ad102038de6d789e0ea 6568 haskell optional haskell-smtlib_1.0.9-1_source.buildinfo

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

iQKlBAEBCgCPFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAls7af1fFIAAAAAALgAo
aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDc1
ODFFQzg3NDA1M0U2QzgwNzc5MUI5QjU1OTIzMzFFMTk5RDM4QTgRHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKg7lg/9GcGU70PVAuIwMS92yGDI8X8p0dqpx7Qr
WRBOuRlmqXteqAPO1LaehfCa3ei/Y2UBuVcBJCcQi8ZnRbUHsVXPigSJfFqb7evC
oTeyHUhG0keLEiO+4X8W7Rz3fu61sDwFxYJpFnnz4yT9aY7/gxwuruXVtrgLJ135
TeJQlDOHuwKSvzxwDR2IO16wTyNKCTp71yaHIyEDzur+3zyFqsT94O8LvaeufjmV
9Mfq4jLhdwCkzfhJqUnykdF09r0m1Om1cujxml0kIVOBXpczFM9n6D+6j25lYK2Q
7GTEXABwWdIBWp/mViQPiXKVthbqwsXuYrrJgUFVVnOFZbk+8csprHxjsQ+IWjnL
dFM0i3BOazzzWXP/6ZP0l8FZ+nUld9MhbcKkUJgfRRruG0vl1A7iMdVlALgSIsV2
MVMXuyhSDFy5Th5+CgooC++o7iEvQ9VOXA/oyTPhpIC5knkUzyLmqBmcJ1VtMZTT
+PlTqbDWNAaMMFSTWE2LrfFOaXriUHDSFxGcKBtyYtr/JrMNWe71SQ/AXHzDjDLt
vGYOQ0LBPG0Ld2RIkcHFFl+ACzvAUFYjF0lohOTfTKSz+piC3PZGX3Hr8D+jlP5E
T4CNAfMePXOIL21vh5q1gydYl33aPiGZ4BMq7+yJGL5R5Qxx8E/oycyu91YAgx5I
5u144cVOiaA=
=WUak
-----END PGP SIGNATURE-----