Accepted agda 2.2.6-7 (source all amd64)
-----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