-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 16 Apr 2010 11:43:24 +0200 Source: agda Binary: libghc6-agda-dev libghc6-agda-doc agda-mode Architecture: source all amd64 Version: 2.2.6-6 Distribution: unstable Urgency: low Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Joachim Breitner <nomeata@debian.org> Description: agda-mode - the emacs mode for Agda libghc6-agda-dev - a dependently typed functional programming language - development libghc6-agda-doc - a dependently typed functional programming language - documentati Closes: 577892 Changes: agda (2.2.6-6) unstable; urgency=low . * Fix FTBFS by fixing zlib doc package name. (Closes: #577892) * Convert to 3.0 (quilt) Checksums-Sha1: c33263d326cbcb9f60a27974a7bf0839b42c8587 2294 agda_2.2.6-6.dsc bc589d699058c57ebf3b4032c517d29533b33f1c 5253 agda_2.2.6-6.debian.tar.gz 165d03ddd91fa5c8fc84424cd1684cf2b92f8323 1098850 libghc6-agda-doc_2.2.6-6_all.deb 29781d7e8b29a2b2213418470ea064e3208a04c7 39928 agda-mode_2.2.6-6_all.deb 9c7583aaf11052bec0b1f80c206f739ede1f5c90 10052780 libghc6-agda-dev_2.2.6-6_amd64.deb Checksums-Sha256: e65b8353fa07932d1719fd7159a7df2e24c688710571794fdb545062fc1be52e 2294 agda_2.2.6-6.dsc 57b5407741d91c08c5b4e624c4481ea09aa0b838bb3af7171a0dc09eaf8ab161 5253 agda_2.2.6-6.debian.tar.gz 6e0c908fc69f7dac90586411ae929e5681dc68097395a4ba22f56a84471476e4 1098850 libghc6-agda-doc_2.2.6-6_all.deb baf0ee038e65fb005281d106ebfa6eefe50b177c4ade73949495dc873ed2919d 39928 agda-mode_2.2.6-6_all.deb fd351a13d7d3f0183794f44e6ecc63f20ea65736ee965b66a9a2b651d72dcff1 10052780 libghc6-agda-dev_2.2.6-6_amd64.deb Files: eaa6f34b6d418a2af0a92054b8b5c50f 2294 haskell extra agda_2.2.6-6.dsc feddbdd9da6c4d5c337e0a0a09ed04a5 5253 haskell extra agda_2.2.6-6.debian.tar.gz 87800b999f988a8838de77e978ee20b6 1098850 doc extra libghc6-agda-doc_2.2.6-6_all.deb 4424ac0fc6028ac452d6acd5423fe514 39928 misc extra agda-mode_2.2.6-6_all.deb 4f31779080b74e499176fb8942059291 10052780 haskell extra libghc6-agda-dev_2.2.6-6_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkvINTUACgkQ9ijrk0dDIGxnzQCcDgDMy8Kp8OcTvTkruvIOTEAk t78AnimdNFKfbPdgrqv+8omSlsovIopZ =GD8L -----END PGP SIGNATURE----- Accepted: agda-mode_2.2.6-6_all.deb to main/a/agda/agda-mode_2.2.6-6_all.deb agda_2.2.6-6.debian.tar.gz to main/a/agda/agda_2.2.6-6.debian.tar.gz agda_2.2.6-6.dsc to main/a/agda/agda_2.2.6-6.dsc libghc6-agda-dev_2.2.6-6_amd64.deb to main/a/agda/libghc6-agda-dev_2.2.6-6_amd64.deb libghc6-agda-doc_2.2.6-6_all.deb to main/a/agda/libghc6-agda-doc_2.2.6-6_all.deb