-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 09 Apr 2018 20:04:45 -0400 Source: haskell-cryptol Binary: libghc-cryptol-dev libghc-cryptol-prof libghc-cryptol-doc cryptol Architecture: source Version: 2.4.0-4 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Clint Adams <clint@debian.org> Description: cryptol - libghc-cryptol-dev - libghc-cryptol-doc - libghc-cryptol-prof - Changes: haskell-cryptol (2.4.0-4) unstable; urgency=medium . [ Ilias Tsitsimpis ] * Use salsa.debian.org URLs in Vcs-{Browser,Git} fields . [ Clint Adams ] * Bump to Standards-Version 4.1.4. Checksums-Sha1: 97c3b86479d7b271f2dd598d8cf0a7e66201d20f 3902 haskell-cryptol_2.4.0-4.dsc 032314eaf42c9b8862f2235dd050b00a32afcd04 297287 haskell-cryptol_2.4.0.orig.tar.gz 42ff2905dd990db2fb1c0261e0fd358d7c02e315 3016 haskell-cryptol_2.4.0-4.debian.tar.xz 279d1b188fda8a3cf80fe75e9475da5802271789 7708 haskell-cryptol_2.4.0-4_source.buildinfo Checksums-Sha256: c77d689a5df79a2f0b65c8aadb6a19d2d99751b4095fb827fde264bc2d7c928f 3902 haskell-cryptol_2.4.0-4.dsc d34471f734429c25b52ca71ce63270ec3157a8413eeaf7f65dd7abe3cb27014d 297287 haskell-cryptol_2.4.0.orig.tar.gz a1e1ea3987c303319a640f7baf4d52f2c4de043a493204d549376b0b6fe0e926 3016 haskell-cryptol_2.4.0-4.debian.tar.xz c05dae5a22ec3603ac06fef75ec61360c2ceaadc9661690097dce34e4efce151 7708 haskell-cryptol_2.4.0-4_source.buildinfo Files: 517cecb0eaa81c3a824dc3c9c61bcfd8 3902 haskell optional haskell-cryptol_2.4.0-4.dsc fea327044f959401ed3c5d2b5c193a19 297287 haskell optional haskell-cryptol_2.4.0.orig.tar.gz a376bab0b38c906d42f6dacef86d7abe 3016 haskell optional haskell-cryptol_2.4.0-4.debian.tar.xz ccfbad59791327198d5539e329ebf470 7708 haskell optional haskell-cryptol_2.4.0-4_source.buildinfo -----BEGIN PGP SIGNATURE----- Comment: Debian! iQKlBAEBCgCPFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAlrMB2pfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDc1 ODFFQzg3NDA1M0U2QzgwNzc5MUI5QjU1OTIzMzFFMTk5RDM4QTgRHGNsaW50QGRl Ymlhbi5vcmcACgkQVZIzHhmdOKinmA/8CNd7/Voc6JFiilSeT6tITl3jUYPi1pNP 838npRtdethOD2HvHbjN/uo4Vs4o/wz893J4Mff5lpAD0FBlX51WKo4dXyKojqLz j/kTxvmqnXjxd1Z+FJa9wScCVsPEXxlPLj1mkXtvBn1mVz7mAaP91HY0eqDfq5k0 uvj+FsULooAhY05FB9OrVJXsuqADtguTALoKLhtmgk2APoqm1vl1ADCIuK0RTxhj cpbm4IrK+lE97QwMA0AQNs73/0J83Ht3+ea0XWXk0DbCTE+rLJvvyyZhGfx9cJhc rXgXfk84xY6wZRRf1sAUGdrC1pqdwWEpJFgUmVkbkf2sWlD+82xvAB0JIn5/ifAz 3lHdKW2cqQgp+5QUWDYKwvVR23hB1MfpzjEFL8otiN9knN3L2QM6dgbEO6Ovdnvj sFJnh3sCT2yX4W7+DtiSbpP7mCNERleT0WaMnwPj4+NORGb88KwInTJ9UbJ1BIbo 2g154uBthE1WK06nDlg4Ziy8ep2HPR5iUJsGPXtxKL2XcDFwq8LI2Adym2ROU2Oo c7wfyJ/wGnwJSg7GM6jpOwudwR+XoWXxFElieMZTYCDl+y59zXBAFlysU8M9Rog5 TdIRH7Uj9gcII2sJtkvvuwRmfJBX7jxUAveVvo1AddyVWhOXNy4bC0JWxoHoqArz 6Ak/CIWnqpI= =tzfs -----END PGP SIGNATURE-----