[Pkg-haskell-maintainers] agda_2.2.6-1_amd64.changes ACCEPTED
Archive Administrator
installer at ftp-master.debian.org
Thu Jan 7 19:47:19 UTC 2010
Accepted:
agda-mode_2.2.6-1_all.deb
to main/a/agda/agda-mode_2.2.6-1_all.deb
agda_2.2.6-1.diff.gz
to main/a/agda/agda_2.2.6-1.diff.gz
agda_2.2.6-1.dsc
to main/a/agda/agda_2.2.6-1.dsc
agda_2.2.6.orig.tar.gz
to main/a/agda/agda_2.2.6.orig.tar.gz
haskell-agda-doc_2.2.6-1_all.deb
to main/a/agda/haskell-agda-doc_2.2.6-1_all.deb
libghc6-agda-dev_2.2.6-1_amd64.deb
to main/a/agda/libghc6-agda-dev_2.2.6-1_amd64.deb
libghc6-agda-prof_2.2.6-1_amd64.deb
to main/a/agda/libghc6-agda-prof_2.2.6-1_amd64.deb
Override entries for your package:
agda-mode_2.2.6-1_all.deb - optional misc
agda_2.2.6-1.dsc - source haskell
haskell-agda-doc_2.2.6-1_all.deb - optional doc
libghc6-agda-dev_2.2.6-1_amd64.deb - extra haskell
libghc6-agda-prof_2.2.6-1_amd64.deb - extra haskell
Announcing to debian-devel-changes at lists.debian.org
Closing bugs: 559197
Thank you for your contribution to Debian.
More information about the Pkg-haskell-maintainers
mailing list