[Pkg-haskell-maintainers] agda_2.2.6-7_amd64.changes ACCEPTED

Archive Administrator installer at ftp-master.debian.org
Thu May 6 04:02:17 UTC 2010




Accepted:
agda-mode_2.2.6-7_all.deb
  to main/a/agda/agda-mode_2.2.6-7_all.deb
agda_2.2.6-7.debian.tar.gz
  to main/a/agda/agda_2.2.6-7.debian.tar.gz
agda_2.2.6-7.dsc
  to main/a/agda/agda_2.2.6-7.dsc
libghc6-agda-dev_2.2.6-7_amd64.deb
  to main/a/agda/libghc6-agda-dev_2.2.6-7_amd64.deb
libghc6-agda-doc_2.2.6-7_all.deb
  to main/a/agda/libghc6-agda-doc_2.2.6-7_all.deb


Override entries for your package:
agda-mode_2.2.6-7_all.deb - optional misc
agda_2.2.6-7.dsc - source haskell
libghc6-agda-dev_2.2.6-7_amd64.deb - extra haskell
libghc6-agda-doc_2.2.6-7_all.deb - extra doc

Announcing to debian-devel-changes at lists.debian.org


Thank you for your contribution to Debian.



More information about the Pkg-haskell-maintainers mailing list