-----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-----
