-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 16 Mar 2010 10:15:20 -0300 Source: agda Binary: libghc6-agda-dev libghc6-agda-doc agda-mode Architecture: source all amd64 Version: 2.2.6-5 Distribution: unstable Urgency: low Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Marco Túlio Gontijo e Silva <marcot@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 Changes: agda (2.2.6-5) unstable; urgency=low . * debian/control: Rename -doc package. Checksums-Sha1: f03f1540acde9f6d3b8075c5b2a01363970b52af 2268 agda_2.2.6-5.dsc 855596b240990632089731946ff06d6adae01ae9 4914 agda_2.2.6-5.diff.gz 991c2acce4431e9171d4280e7eca3b7504bb9696 1097286 libghc6-agda-doc_2.2.6-5_all.deb c13f6fe0379fdf8d399c6dbf45a079bd4cb81c5b 39908 agda-mode_2.2.6-5_all.deb b799bb8b41677d54687007a5d6b0f109ce69cb49 10054108 libghc6-agda-dev_2.2.6-5_amd64.deb Checksums-Sha256: 0e9a521c8aea5b7a34fdd7dc3ab973df76862f2c6450eaafad75f4fe0dcf615a 2268 agda_2.2.6-5.dsc eb981272ab3bb16058f8872cf4e942281d067ea0239fa9c5bd9694f77ad0f967 4914 agda_2.2.6-5.diff.gz 4e4c799579eae907fd7474f0cf71936fab64842d326dc5ddf3d0bf44d22ed01d 1097286 libghc6-agda-doc_2.2.6-5_all.deb 1107233f5126a382977d2bfb90797c825b99c4ea388f156a257436513ada6146 39908 agda-mode_2.2.6-5_all.deb 26f48f0d988693fc60a5b7f0c16a7662b1a484bc58ceb1076cf1f33320220124 10054108 libghc6-agda-dev_2.2.6-5_amd64.deb Files: 4a1b397ee66772b24f173276f93ddc7e 2268 haskell extra agda_2.2.6-5.dsc 96bd9377d3af02ffdb70cf28dcf2ae94 4914 haskell extra agda_2.2.6-5.diff.gz dfbbe9f1beb05a59605a431281fb6cba 1097286 doc extra libghc6-agda-doc_2.2.6-5_all.deb ece6d7602459f9ca5065af8b4662608f 39908 misc extra agda-mode_2.2.6-5_all.deb 61da6dad51059384cc00e80cd495fd25 10054108 haskell extra libghc6-agda-dev_2.2.6-5_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkufi8kACgkQhAwOmkV1TkSJNACZAUjUItapTVLKG+dsqoHJ09Ls YAMAn1KQpFey9Stm9HenGOvV4tazo5nk =xd6Q -----END PGP SIGNATURE----- Accepted: agda-mode_2.2.6-5_all.deb to main/a/agda/agda-mode_2.2.6-5_all.deb agda_2.2.6-5.diff.gz to main/a/agda/agda_2.2.6-5.diff.gz agda_2.2.6-5.dsc to main/a/agda/agda_2.2.6-5.dsc libghc6-agda-dev_2.2.6-5_amd64.deb to main/a/agda/libghc6-agda-dev_2.2.6-5_amd64.deb libghc6-agda-doc_2.2.6-5_all.deb to main/a/agda/libghc6-agda-doc_2.2.6-5_all.deb