-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 01 Nov 2017 12:13:56 +0200 Source: haskell-cryptol Binary: libghc-cryptol-dev libghc-cryptol-prof libghc-cryptol-doc cryptol Architecture: source Version: 2.4.0-3 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Ilias Tsitsimpis <iliastsi@debian.org> Description: cryptol - libghc-cryptol-dev - libghc-cryptol-doc - libghc-cryptol-prof - Changes: haskell-cryptol (2.4.0-3) unstable; urgency=medium . * 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 Checksums-Sha1: db04b2599e84bd867e1ecb81b5af75e72e264255 3885 haskell-cryptol_2.4.0-3.dsc 032314eaf42c9b8862f2235dd050b00a32afcd04 297287 haskell-cryptol_2.4.0.orig.tar.gz f08f5fec19716660d52b205c47d93ac380ea0da8 2956 haskell-cryptol_2.4.0-3.debian.tar.xz f2798744d345b93d190bded789d87705a01e180a 8823 haskell-cryptol_2.4.0-3_source.buildinfo Checksums-Sha256: 0176a3ae76e1b181d8b1792fb48e57846506379363e1db4085835b1e8f426164 3885 haskell-cryptol_2.4.0-3.dsc d34471f734429c25b52ca71ce63270ec3157a8413eeaf7f65dd7abe3cb27014d 297287 haskell-cryptol_2.4.0.orig.tar.gz e753fd720a1884950f24d182a4759d79dc9deb59af499a8a472855ad2c779ab8 2956 haskell-cryptol_2.4.0-3.debian.tar.xz 086b187ac3af4a11b8b563d5b39356ce68de05445fc530473638a602b3ba0968 8823 haskell-cryptol_2.4.0-3_source.buildinfo Files: 3febd5d7eb54adb4566899157603e738 3885 haskell optional haskell-cryptol_2.4.0-3.dsc fea327044f959401ed3c5d2b5c193a19 297287 haskell optional haskell-cryptol_2.4.0.orig.tar.gz 5f9d7d2c9dc73e2bd9261be5481918f6 2956 haskell optional haskell-cryptol_2.4.0-3.debian.tar.xz 1ff62fb94592d7577cdda69f3d7911ac 8823 haskell optional haskell-cryptol_2.4.0-3_source.buildinfo -----BEGIN PGP SIGNATURE----- Comment: Debian! iQKTBAEBCgB9FiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAloF8+dfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDc1 ODFFQzg3NDA1M0U2QzgwNzc5MUI5QjU1OTIzMzFFMTk5RDM4QTgACgkQVZIzHhmd OKhGyg/+Nj6giEwKjbrO2kxCErwdQB4gt4ok42zjmU/kOstrYQmhz9CmrXD+LFId czGroIizgVIE8nrs4KohggC8IyCgqX7Nm8f5HQjRz8VwEx+JkLuNfktYMFC/85o6 NI6Iedhsz3AhceS8VDQ4zN5fySN//XH08CoyvynLNe0lY10TNVb02JlBv7X9eLC6 YAVH2SnLza8JbzMyX7WoyslBogs5TGZNol31WmfFunM6IgqQd1VHWXzxY9NEljRT +zKt3JEjuPwVfwZZGr2bIBPfvF90DJMFKuSb5ONVnj9K6SfleC32HOeTSxcUJCtc Wo/iFFGYQGJxog54OWlC9MqZDhKqAwg5YPyGNHp7hzdf8W8177MPU21wI1eXgvYm YIb1qunj2lVtDZMJAVcPbuNJpEnfD3PG97Sxj9vtRLV0NELcUHa81MBMqCvArXJY xpjv+BDgYNrG1mnZrqKkF8/Za7a8sQi2jHqSHv0xVh0pKzuQDi96K7staDAe4mcp 7A6K3Mnpjo7bx4s4n5Nx70z93UC8Ew34/XRE+Bb3ScMMl0sGiGd41k8fY1bXdYiG gGZe+HwFl+yVC+MX1TF/Pp+G2laweUCkzc9fpHP9QozR1B3VJopQ3jP0Cwr3Uqw+ CQ8kGmdoREGY1KwTnedjvUZFuHj4KoLmmhGxMkkRH8vExSB1f5c= =qQlN -----END PGP SIGNATURE-----