Accepted haskell-cryptol 2.4.0-3 (source) into unstable
-----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-----