-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 05 May 2010 23:13:56 -0300 Source: agda Binary: libghc6-agda-dev libghc6-agda-doc agda-mode Architecture: source all amd64 Version: 2.2.6-7 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-7) unstable; urgency=low . * control: Use versioned Replaces: and Conflicts: Checksums-Sha1: c44fdb2640dc7686031cb7f36762b308e9e6ec26 2294 agda_2.2.6-7.dsc 41008f632f50d5a14029d9fd5ef08c816669c77a 5315 agda_2.2.6-7.debian.tar.gz 4c2ccb4bee7f553a2199e7781e973b6e04b60b02 1096992 libghc6-agda-doc_2.2.6-7_all.deb 76adaa0a9bbbefab2581d02fd1dbc20b9107dd1a 40062 agda-mode_2.2.6-7_all.deb 64f31ffd36d589f2ef2a6a6d23de465f108fe0dc 10055274 libghc6-agda-dev_2.2.6-7_amd64.deb Checksums-Sha256: e99498c5bbc385ee846fcdc0dce3386da30849de5d28bb9b83957fbab438dc39 2294 agda_2.2.6-7.dsc 4dd8a47a5b4f1ecd3efc7cce1cb156691b7b7a6241299ced9ca2bc6d7ab85c70 5315 agda_2.2.6-7.debian.tar.gz d1b7ff7a93137bfbbea90eea1e065d514c8f79fe05772614b5b86d0aedf0025f 1096992 libghc6-agda-doc_2.2.6-7_all.deb 92d3996d630f34ee5a93759435dd591460ded103219a3e25334350c12dd4b796 40062 agda-mode_2.2.6-7_all.deb cc707987e67bdb7809f6120188157de19d9eefd532de6b271d3c764c922559ae 10055274 libghc6-agda-dev_2.2.6-7_amd64.deb Files: d1bc002f25cc38c08dd77b5a4549b605 2294 haskell extra agda_2.2.6-7.dsc cf87baf8bf0441ea2b39ffb622cc3405 5315 haskell extra agda_2.2.6-7.debian.tar.gz 6d5319c23940e88d298cf27fc9194109 1096992 doc extra libghc6-agda-doc_2.2.6-7_all.deb 9810b3819cdbc0c7429acf7ce3a6da46 40062 misc extra agda-mode_2.2.6-7_all.deb 53d6a0cb00ebfa72f97e525286ec6783 10055274 haskell extra libghc6-agda-dev_2.2.6-7_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkviObAACgkQhAwOmkV1TkSFvACfUNGWxUi1RWJc3T0DdQ3lh6RD +NUAn1zGX+WKidkxYKlLmTPPV7mFyA5G =wzRU -----END PGP SIGNATURE----- Accepted: agda-mode_2.2.6-7_all.deb to main/a/agda/agda-mode_2.2.6-7_all.deb agda_2.2.6-7.debian.tar.gz to main/a/agda/agda_2.2.6-7.debian.tar.gz agda_2.2.6-7.dsc to main/a/agda/agda_2.2.6-7.dsc libghc6-agda-dev_2.2.6-7_amd64.deb to main/a/agda/libghc6-agda-dev_2.2.6-7_amd64.deb libghc6-agda-doc_2.2.6-7_all.deb to main/a/agda/libghc6-agda-doc_2.2.6-7_all.deb