-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: haskell-smtlib Binary: libghc-smtlib-dev, libghc-smtlib-prof, libghc-smtlib-doc Architecture: any all Version: 1.0.7-1 Maintainer: Debian Haskell Group <[email protected]> Uploaders: Kristoffer H Rose <[email protected]> Standards-Version: 3.9.6 Build-Depends: debhelper (>= 9), haskell-devscripts (>= 0.8), cdbs, ghc, ghc-prof Build-Depends-Indep: ghc-doc Package-List: libghc-smtlib-dev deb haskell extra arch=any libghc-smtlib-doc deb doc extra arch=all libghc-smtlib-prof deb haskell extra arch=any Checksums-Sha1: 7d3ad5f1bba87b73e244529efa1ea6af1928679e 9484 haskell-smtlib_1.0.7.orig.tar.gz f893a3e2b33a11274f3262837d6e2a979b937763 1804 haskell-smtlib_1.0.7-1.debian.tar.xz Checksums-Sha256: 6e660125d16c7ad42120df7fb0bd53d1d0614532ed3956aa34f6bcd3413ac2ca 9484 haskell-smtlib_1.0.7.orig.tar.gz dee9abb8d3ae15977dd8a69c843841c8aaa7d4736b9c4064571638aa35caf21c 1804 haskell-smtlib_1.0.7-1.debian.tar.xz Files: 8800f1030e69a019ae47f4bed050a15f 9484 haskell-smtlib_1.0.7.orig.tar.gz cc4d03bf9735ccb4eec3b049c78c2aa3 1804 haskell-smtlib_1.0.7-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQEcBAEBCgAGBQJVzfZcAAoJEMTQEv/gFjeHTJsIAJZ9MURNDcY5A2cPK2w4C9OX 2roo3ZCIV0t4fhtNbq8B/KDvePRSHbT/a7QBO0JglRcxbfRSWF3CDBiSHgonEjSm OTRNDPzqpIsR4rPLaPNeuwLPquJbELQXlZUyuDWkF25Qc8GH7vBiZZxYE5LaR3eU hvnGmbDPOktX/tc+Ya8e8/BTslOqEroEPD8a1u/aqam7pNe1Da9G70SO9edFjQ2D 5OYkSle+HCKlQrfUIbS7eZA8Rs3nv1PyIqP2qTSeuiP4x9yfy3C4VscromQpAb7R SosK4v91M/bBY8btiLihk1yANHnS/oVa4zRO4q3TSKQVyviKqAqyL0+YBmjOAx0= =JNud -----END PGP SIGNATURE----- Changes: haskell-smtlib (1.0.7-1) unstable; urgency=low * Initial release. -- Kristoffer H Rose <[email protected]> Fri, 14 Aug 2015 15:30:06 +0200
