Accepted agda-stdlib 0.13-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 06 Jul 2017 11:16:33 +0200
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.13-1
Distribution: unstable
Urgency: medium
Maintainer: Iain Lane <laney@debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
agda-stdlib - standard library for Agda
agda-stdlib-doc - standard library for Agda — documentation
Changes:
agda-stdlib (0.13-1) unstable; urgency=medium
.
[ Gianfranco Costamagna ]
* Team upload
* New upstream release
* Bump compat level to 10
* Bump std-version to 4.0.0
.
[ Sean Whitton ]
* Remove myself as an uploader.
I do not expect to be able to look after this package for the buster cycle.
Checksums-Sha1:
237baa6ea934dd50c3b0b0f3ea31232f33ea4b4c 2091 agda-stdlib_0.13-1.dsc
966ddad098b5dfa517214395923ae1910fcefa4f 264701 agda-stdlib_0.13.orig.tar.gz
3ffd3eb8eb90c73f6bf635e50bf24d3d8877b0b8 5040 agda-stdlib_0.13-1.debian.tar.xz
Checksums-Sha256:
6e3d3bfa072c18aaeabe71ca5e86df1bb6d49b88555fb689f1cd5684e8aa0b3b 2091 agda-stdlib_0.13-1.dsc
e7cffc2b8b168c3584b6d1e760d2b49850835444e4777caa69eb29b3677ef8bb 264701 agda-stdlib_0.13.orig.tar.gz
9ae743c39a9dda1c0e051aac8983906210a8f88e1ac7667c29a0dbac6a5301fb 5040 agda-stdlib_0.13-1.debian.tar.xz
Files:
7e3ee90d8bbdfef994c8992bdd9e304e 2091 libs extra agda-stdlib_0.13-1.dsc
2951ae6b863eff4ccd32e91828d46ac3 264701 libs extra agda-stdlib_0.13.orig.tar.gz
fb5aa62a42f1bf6d83f02f5c874dad13 5040 libs extra agda-stdlib_0.13-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJZXgS+AAoJEPNPCXROn13ZM7cP/3zMWsmBLzs5yjm1y7RKF66Y
3CcPXA7ijf+0Nb6OxQOTU/zB8dpU7BMUlHxAX9EjsWokYaxNt3Clan79RcSfazkm
gGbc0a9v/PdZJyRFSmMQgUxXKiVcc7Ok8bmqmOHkhnhq/gQkDoLSzEfkCf0dcF6e
tVkAK6PNBCguB9Iq2UyF4TZ21GRXI1iSF53SLrxVXJ4JW56RyjGRbg7+/OzD+hu4
bTVhVtQLMZOrHJmaQ9FU1ZKxFBqegfgZfLfR22zxNuKONxqM2QJv18mOUIfb9QMe
O2PjiE9X8tAozpDJ3Us5dnhecPxgMlOXjCCMAl6+XqPCxtYmf7ASRf9nQAc17bMC
imUWzFfkCwtxc6KlmIoSUVebuAFPyrWFanpEDYJUdKs5ZwToob6MkhUlKjZ4tq0Y
2dV5Xrt26YmjL/seQ/vyyvUINXxzmWDvn7jB2XpXcgQNsIEUcX4cbAUo0FgVP3Gd
EOAbcdtMWiIOeKpDxBiHM9woY8GifR7+baLtho8C+oOqusrimLfjNyPNEZ++Rngu
5XsL655BZ2AM35AK3WUVb2+0CbGS4YVkzeN/z21sJecGkbNy4jfPKodHmO1eD0wj
82KPXzXg5i4X+n7DsmHBhs7vdEJwB8yyThLCJSwAQySXRNnR3tRatQSforLVZgWF
57Bbi5WnN9IfuHTd6ffQ
=U+Uf
-----END PGP SIGNATURE-----