[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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-----


Reply to: