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