Accepted agda-stdlib 0.6-2 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 14 Mar 2012 10:30:26 +0100
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source all
Version: 0.6-2
Distribution: unstable
Urgency: low
Maintainer: Iain Lane <laney@debian.org>
Changed-By: Joachim Breitner <nomeata@debian.org>
Description:
agda-stdlib - standard library for Agda
agda-stdlib-doc - standard library for Agda — documentation
Changes:
agda-stdlib (0.6-2) unstable; urgency=low
.
* Relax agda dependency a bit to allow for minor releases
* Add the Debian Haskell Group as uploaders, by Iains suggestion
Checksums-Sha1:
4c1bd2fce6595f0501907405f7d702cbeee3d33c 1437 agda-stdlib_0.6-2.dsc
996d92f280f14a55fd3ffa121b89846397f719e9 4226 agda-stdlib_0.6-2.debian.tar.gz
d3748f8d0c724c85639805b4f1a468550feb037b 16979124 agda-stdlib_0.6-2_all.deb
5d0db43eeb4a6a83b951fbdcfdec80881f14888c 1704574 agda-stdlib-doc_0.6-2_all.deb
Checksums-Sha256:
b78ebe4b249fde863b75a077ced562ba535faa15bed797485bab16252b112d80 1437 agda-stdlib_0.6-2.dsc
56055b75120cce91719480009d8348be96f7d0b939180ff5084f5bc071b5eb2d 4226 agda-stdlib_0.6-2.debian.tar.gz
8ad034fda70823a750bf6a7a864b21b000d8e3ddbf6938ab2bbb1d19a5145855 16979124 agda-stdlib_0.6-2_all.deb
9a57d4fd00d8cc6c3ecf4920c85c7b8025f18b8b4faa44635403815b14245f68 1704574 agda-stdlib-doc_0.6-2_all.deb
Files:
c9bd5deeb4dcaec2842290727cb42c26 1437 libs extra agda-stdlib_0.6-2.dsc
18fdc70e368e6a283fae3acee013fe02 4226 libs extra agda-stdlib_0.6-2.debian.tar.gz
572321bb2918fb81b485748c65515c77 16979124 libs extra agda-stdlib_0.6-2_all.deb
fa69065940d2b43b5e9b4e70ba7d4837 1704574 doc extra agda-stdlib-doc_0.6-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAk9gZwAACgkQ9ijrk0dDIGzp6QCgtIbgTK8EpQIrbm/wNIOMbwOM
/N8An2iMYDrXkn1eINWtegGDqYKi+fzC
=JhT2
-----END PGP SIGNATURE-----
Accepted:
agda-stdlib-doc_0.6-2_all.deb
to main/a/agda-stdlib/agda-stdlib-doc_0.6-2_all.deb
agda-stdlib_0.6-2.debian.tar.gz
to main/a/agda-stdlib/agda-stdlib_0.6-2.debian.tar.gz
agda-stdlib_0.6-2.dsc
to main/a/agda-stdlib/agda-stdlib_0.6-2.dsc
agda-stdlib_0.6-2_all.deb
to main/a/agda-stdlib/agda-stdlib_0.6-2_all.deb