Back to agda-stdlib PTS page

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