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