-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 17 Jun 2011 10:38:21 +0200 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda Architecture: source all amd64 Version: 2.2.10-3 Distribution: unstable Urgency: low Maintainer: Debian Haskell Group <pkg-haskell-maintain...@lists.alioth.debian.org> Changed-By: Joachim Breitner <nome...@debian.org> Description: agda - dependently typed functional programming language agda-mode - dependently typed functional programming language — emacs mode libghc-agda-dev - dependently typed functional programming language - development l libghc-agda-doc - dependently typed functional programming language - documentation Changes: agda (2.2.10-3) unstable; urgency=low . * Extend haskell-src-exts dependency range to include 0.11.* Checksums-Sha1: 273f992041e45c31719c8872652871e81ddaa8c9 2484 agda_2.2.10-3.dsc c44d736c0a02b2f0879bedae9032f14fc0269ada 7612 agda_2.2.10-3.debian.tar.gz 47ae52f0d694af781cfc16bcd66ed91f61c387c7 1474510 libghc-agda-doc_2.2.10-3_all.deb b37b5ef47c1ca4fbc8ad3702be26af5adc2a94fb 43786 agda-mode_2.2.10-3_all.deb 0e25b49ba51958a97d90fcf86e09063d7a00cc7a 12134 agda_2.2.10-3_all.deb 2bc330d932b67fd5f2ec7fcb813cc2618f3484bd 10870846 libghc-agda-dev_2.2.10-3_amd64.deb Checksums-Sha256: a7cadc9763d15acd48988b283e7231c3160fa4dc92b33dedaacd6dd76c0173c9 2484 agda_2.2.10-3.dsc 415364d12a094bd908d14d38230e48bc5e8c24dd439d1de656978d4933ad044f 7612 agda_2.2.10-3.debian.tar.gz 294d4f15e472d96881b171b6880f2a2b6749504fc5f4fe645bdd962da266bc14 1474510 libghc-agda-doc_2.2.10-3_all.deb 7bd3187dc7606edb4f1d72cd10a9f095a69d84dc992adcdca0e9ecac53639a88 43786 agda-mode_2.2.10-3_all.deb c3ea6943c42be028607776cb5265316cc16b5df145880c2828454c47ba736515 12134 agda_2.2.10-3_all.deb 6dac13f8762126cc3dec29c0de382d725785618144630249fe21cc1c9c15fb1c 10870846 libghc-agda-dev_2.2.10-3_amd64.deb Files: 767351a08c1d06a75d19cdf3e03f76a1 2484 haskell extra agda_2.2.10-3.dsc 84459d505179b2fa8fc16a16f8b175b8 7612 haskell extra agda_2.2.10-3.debian.tar.gz f145e479c29fe3ec8fbb3341544493db 1474510 doc extra libghc-agda-doc_2.2.10-3_all.deb bc7908b9445113e62cb9c464b6dee9b2 43786 misc extra agda-mode_2.2.10-3_all.deb 3f40d7cc7ab6f1a3251619b2b20dfb19 12134 misc extra agda_2.2.10-3_all.deb 9c42290a0bea529038eccf3af30db8b0 10870846 haskell extra libghc-agda-dev_2.2.10-3_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk37E9AACgkQ9ijrk0dDIGyEBQCfSAx88nuOztG8vdjz6IAKhQ0v Om0AmwTZCRFVtIkT6LhQsc/o/S/kRLXe =gbcK -----END PGP SIGNATURE----- Accepted: agda-mode_2.2.10-3_all.deb to main/a/agda/agda-mode_2.2.10-3_all.deb agda_2.2.10-3.debian.tar.gz to main/a/agda/agda_2.2.10-3.debian.tar.gz agda_2.2.10-3.dsc to main/a/agda/agda_2.2.10-3.dsc agda_2.2.10-3_all.deb to main/a/agda/agda_2.2.10-3_all.deb libghc-agda-dev_2.2.10-3_amd64.deb to main/a/agda/libghc-agda-dev_2.2.10-3_amd64.deb libghc-agda-doc_2.2.10-3_all.deb to main/a/agda/libghc-agda-doc_2.2.10-3_all.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1qxuhx-0002wn...@franck.debian.org