-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 27 Jul 2019 22:10:38 -0400 Source: haskell-sbv Architecture: source Version: 7.13-1 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Clint Adams <clint@debian.org> Changes: haskell-sbv (7.13-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: 4d4c38134452ef2dcd1f2a4cb09a9824a5f01395 2625 haskell-sbv_7.13-1.dsc e31649522ebf2eb07f57a28853b4410725a2ebdd 687006 haskell-sbv_7.13.orig.tar.gz 52975e97693a2a204a995f923c656e7b610f29cd 2760 haskell-sbv_7.13-1.debian.tar.xz 738398ae44d3702106d8e948101acef1d902db50 6907 haskell-sbv_7.13-1_source.buildinfo Checksums-Sha256: 92fa77c9a66df1b29aa76d061b87eb6439361eda94f51e8542df062c996df614 2625 haskell-sbv_7.13-1.dsc 33bafb18a6d7476aeb3fb215077154cd4ad36fa0359c5b184a9a2ccb3500642e 687006 haskell-sbv_7.13.orig.tar.gz 0077912f4e06d98a8d80508f617bf95ed7cfbcc209f6c4fe14e77e69e5efab25 2760 haskell-sbv_7.13-1.debian.tar.xz 37bde1e24f7649d2fa9779bc5f5b4d25f2584cccf023335341d8428306714b3b 6907 haskell-sbv_7.13-1_source.buildinfo Files: d5839d0511df0e47c7b9d63719023b56 2625 haskell optional haskell-sbv_7.13-1.dsc b9a589660e4dc47a7f7664de9084a6d2 687006 haskell optional haskell-sbv_7.13.orig.tar.gz a647176f806684a56674991b497433d1 2760 haskell optional haskell-sbv_7.13-1.debian.tar.xz eef64633ef5f1da64e6e64d7eb7a5d7e 6907 haskell optional haskell-sbv_7.13-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJFBAEBCgAvFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAl09BD0RHGNsaW50QGRl Ymlhbi5vcmcACgkQVZIzHhmdOKiucg/8CcMv2iWwecORHMmdCfnGRIDEzVQ8I+NU CK/fr6BJt04SRgjdl2gu6CY1PlqxgYP1VmLvTUp4p13/GN/7h7npD2bbgvZnabnm iM5dXQpxxdpPT2a04kiYVcv33J0SqQKDS5maDm4cPfNbnImyOvTY4WyhfxbbFuVH rX6ONmsej+Qv6hKvHcFG0i3KS6MG2Bddz/+VRMHopZqicY+GWcDk3KycKX576Pm3 NCNoPdfCTSXgscMyxLaUwUlg1zWvBAymn0KG6u3NOWMQTbHLPefHZVA6KSdAwVtg Pc/Q9FPcGkxkaZ1Pno5GPj2N72ODpPD6zMMofDKaewbrhherDQAGJzhv4RozkyaL I+FEs1kbTnu+OUSVncvFA71jY/J7VC5e1lVz7q+I+q8xaEhe75NtIqnk4kO4tAiI O29JCP8VbDd9CjIl0ajVK0cx7l2g0EvxBzmn+pqHo+xZcLe54tagyDRB5KbF/EoH kGEtkvornyqR74PXS3Pi5QnFLqYgwlTFg8Qy+JqJPAffqHzip9nxCkK5SEz4s3fX qC+RHjCMidVEZaxS3Nit/27vOzrsK3JIGbgOf+RLcRejYGP7Rn2T4QAMO47Dioin ENaIjAbtCqqAo/QasUFTo1pIXrlD2OY0vLo6TTMUJG97S3RWmCNn3tzFGNjg25ia rO+2kprh6TI= =cx+C -----END PGP SIGNATURE-----