[Pkg-haskell-maintainers] agda_2.2.2-1_amd64.changes ACCEPTED
Archive Administrator
installer at ftp-master.debian.org
Mon Aug 10 22:51:54 UTC 2009
Accepted:
agda-mode_2.2.2-1_all.deb
to pool/main/a/agda/agda-mode_2.2.2-1_all.deb
agda_2.2.2-1.diff.gz
to pool/main/a/agda/agda_2.2.2-1.diff.gz
agda_2.2.2-1.dsc
to pool/main/a/agda/agda_2.2.2-1.dsc
agda_2.2.2.orig.tar.gz
to pool/main/a/agda/agda_2.2.2.orig.tar.gz
haskell-agda-doc_2.2.2-1_all.deb
to pool/main/a/agda/haskell-agda-doc_2.2.2-1_all.deb
libghc6-agda-dev_2.2.2-1_amd64.deb
to pool/main/a/agda/libghc6-agda-dev_2.2.2-1_amd64.deb
libghc6-agda-prof_2.2.2-1_amd64.deb
to pool/main/a/agda/libghc6-agda-prof_2.2.2-1_amd64.deb
Override entries for your package:
agda-mode_2.2.2-1_all.deb - optional misc
agda_2.2.2-1.dsc - optional haskell
haskell-agda-doc_2.2.2-1_all.deb - optional doc
libghc6-agda-dev_2.2.2-1_amd64.deb - optional haskell
libghc6-agda-prof_2.2.2-1_amd64.deb - optional haskell
Announcing to debian-devel-changes at lists.debian.org
Closing bugs: 522924
Thank you for your contribution to Debian.
More information about the Pkg-haskell-maintainers
mailing list