Accepted agda 2.2.10-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 07 Jun 2011 23:57:04 +0200
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source all amd64
Version: 2.2.10-2
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Joachim Breitner <nomeata@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
Closes: 629572
Changes:
agda (2.2.10-2) unstable; urgency=low
.
* Adjust conflict on haskell-agda-doc to exclude the dummy package (Closes:
#629572)
Checksums-Sha1:
c9b589d0a95f366c9b16e969a1649ad1cad46717 2484 agda_2.2.10-2.dsc
3a84323ce46cf5393c828f1789e785bc243c7980 7585 agda_2.2.10-2.debian.tar.gz
659b32a856188a34e7dc0f69a946ce1cac297df2 1474492 libghc-agda-doc_2.2.10-2_all.deb
f3d54ac43a8c5db29449e637248a0d57d36f0536 43722 agda-mode_2.2.10-2_all.deb
31d66c872717346c7946ded517d305057cf87f7a 12084 agda_2.2.10-2_all.deb
74b287aac4758a41c402919591af80227efffc16 10870764 libghc-agda-dev_2.2.10-2_amd64.deb
Checksums-Sha256:
c868327f54a38a011fb8ef57779543dce4f3b324c82a06fa5055e365537e967a 2484 agda_2.2.10-2.dsc
c0dd608e860982e3e22d977eacbab701ae3aacbfe399b135ded2c7b9f2f0f57f 7585 agda_2.2.10-2.debian.tar.gz
87cc94fc0a5e6f7b63e5b72cc0ae0b23898a6bc449ce2b22cdabc1cb45e6c050 1474492 libghc-agda-doc_2.2.10-2_all.deb
f1c43df7d39bd8b782cf3eeb356ff3be3101a83aa710a674e5ce163ab4e9b6b3 43722 agda-mode_2.2.10-2_all.deb
e5c35ed11c7e37073a46866d0db3a50f5962069944e1edd5182087fa417a4fd9 12084 agda_2.2.10-2_all.deb
78ff05b4e702d8156712ed1447bfadac99896daf89b2dd1af997e966164c467c 10870764 libghc-agda-dev_2.2.10-2_amd64.deb
Files:
c59b530408ab2716f0736976a31a7346 2484 haskell extra agda_2.2.10-2.dsc
f7cb3fcf04423bb60dbafc5deccb3084 7585 haskell extra agda_2.2.10-2.debian.tar.gz
051223611285f8eb4ffa87423d1b1989 1474492 doc extra libghc-agda-doc_2.2.10-2_all.deb
5785c04024a8c5a1cb862cfab6de8663 43722 misc extra agda-mode_2.2.10-2_all.deb
df7fab26eab9a9fdd76bdb76f9ed5491 12084 misc extra agda_2.2.10-2_all.deb
25c1b773dc85006dd964c864af429155 10870764 haskell extra libghc-agda-dev_2.2.10-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk3vJp0ACgkQ9ijrk0dDIGw0TACgtEotYUkmCpBPoT3FRY57uuZM
498AoLi254nWevn5lMD+XHSkq67q5tX8
=Su0q
-----END PGP SIGNATURE-----
Accepted:
agda-mode_2.2.10-2_all.deb
to main/a/agda/agda-mode_2.2.10-2_all.deb
agda_2.2.10-2.debian.tar.gz
to main/a/agda/agda_2.2.10-2.debian.tar.gz
agda_2.2.10-2.dsc
to main/a/agda/agda_2.2.10-2.dsc
agda_2.2.10-2_all.deb
to main/a/agda/agda_2.2.10-2_all.deb
libghc-agda-dev_2.2.10-2_amd64.deb
to main/a/agda/libghc-agda-dev_2.2.10-2_amd64.deb
libghc-agda-doc_2.2.10-2_all.deb
to main/a/agda/libghc-agda-doc_2.2.10-2_all.deb