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