-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 09 Apr 2018 20:05:04 -0400 Source: haskell-smtlib Binary: libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc Architecture: source Version: 1.0.8-4 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.8-4) unstable; urgency=medium . [ Ilias Tsitsimpis ] * Change Priority to optional. Since Debian Policy version 4.0.1, priority extra has been deprecated. * Use the HTTPS form of the copyright-format URL * Modify d/watch and Source field in d/copyright to use HTTPS * Declare compliance with Debian policy 4.1.1 * Use salsa.debian.org URLs in Vcs-{Browser,Git} fields . [ Clint Adams ] * Bump to Standards-Version 4.1.4. Checksums-Sha1: 84ddae58970c5109b82ca8dd008481ce1d4024cd 2360 haskell-smtlib_1.0.8-4.dsc 6aef4446de73784f8993f47057ba0f3020acedd9 9533 haskell-smtlib_1.0.8.orig.tar.gz 2e20ec70b961d9f9e0926c6bcf014f28944e668f 2396 haskell-smtlib_1.0.8-4.debian.tar.xz 41dfa2b737bcdb410659cdaf7fcc70b568a3342e 6443 haskell-smtlib_1.0.8-4_source.buildinfo Checksums-Sha256: 2e666ef998ff2b9465c4feaa14971dfd595c2c27ae6851aa504e925a890457de 2360 haskell-smtlib_1.0.8-4.dsc 37016f9322742c88c89d692e62d01c419b03242bbc6d84da4dab772408ad21a9 9533 haskell-smtlib_1.0.8.orig.tar.gz c6131bb3f24e6f3e1e875c14ac712f8aca3c40c60df57d33cd347248ae598a80 2396 haskell-smtlib_1.0.8-4.debian.tar.xz 91d658839b09c89c9272a97a8e6cb6f4c3232ff85958c6785b2eb525fc1c5a91 6443 haskell-smtlib_1.0.8-4_source.buildinfo Files: ce18cf94bcf300c860813df42541115a 2360 haskell optional haskell-smtlib_1.0.8-4.dsc 20365ad9ea1ac0e9d0502c84602d09d1 9533 haskell optional haskell-smtlib_1.0.8.orig.tar.gz 8063f207b00c9af7157cd4bfb3c7470a 2396 haskell optional haskell-smtlib_1.0.8-4.debian.tar.xz 53f60af27fc7211c909e73c942b5a755 6443 haskell optional haskell-smtlib_1.0.8-4_source.buildinfo -----BEGIN PGP SIGNATURE----- Comment: Debian! iQKlBAEBCgCPFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAlrMDHVfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDc1 ODFFQzg3NDA1M0U2QzgwNzc5MUI5QjU1OTIzMzFFMTk5RDM4QTgRHGNsaW50QGRl Ymlhbi5vcmcACgkQVZIzHhmdOKgbzQ//bGtxVr2h0ZHqIG0etJUb7mfWe27rQfxg svyZJuxMZPPaKDLIx5bn07AimDVxD1U6glAwOTq89247SThBSAg2EjIxVrJtGQk2 O8H9NflOmXIbJnK29qpP3nAAsjJxzAonZgC5ptuVpe8Nw3yt1DEzrX2ZPBvupyEj 22e/ZVMwLHSGn+x9WR3J5e4BSHpQooDCfj0EiddUL67WFU2Smn8uAqhHfJ+ttqsq Rk6SyU6K/IOyahh1ui02EqRtI2BQKEeJTDL0uv680zMLDiFd4HS8Ufzdmpy9wYXV v/jYQXGDc+b9TTjRC8Gr/58McmVCij10yxkhv5MEWBnqK1LG9mRzADnvDj6X/m5P 1ALm8+TqoQUiJrc3VVhWcab+SYlI/1i+Yps1B11eY8d8Uu2l4pIjHUCGjsT6Sl4L mfNyjrGy8lZNk+7u/41T6FYHm5nHfBfBR3c339s6tM+M0OGcoW78qBy7CQGOs4Ys 5MgygyerNf2Xy82ELUedc26q3/9nPovePkkMiBapqGkbT6lA4Ue1/cfeLxERILm7 fuOEZfSfV85s4gzbxmnbvpuczTdAu6UpJRd7v/ED2UgV69g1ogtLbD+KiGkSnAFk 8JQ+eAMQWkIySuFLhzD3LL3pqKnIKZeM+JN81Ihl2tGLtGfrdi7o2DkOvUY7y9dR 8Dm82yorZGM= =kiKQ -----END PGP SIGNATURE-----