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

Archive Administrator installer at ftp-master.debian.org
Fri Mar 12 00:17:15 UTC 2010




Accepted:
agda-mode_2.2.6-4_all.deb
  to main/a/agda/agda-mode_2.2.6-4_all.deb
agda_2.2.6-4.diff.gz
  to main/a/agda/agda_2.2.6-4.diff.gz
agda_2.2.6-4.dsc
  to main/a/agda/agda_2.2.6-4.dsc
haskell-agda-doc_2.2.6-4_all.deb
  to main/a/agda/haskell-agda-doc_2.2.6-4_all.deb
libghc6-agda-dev_2.2.6-4_amd64.deb
  to main/a/agda/libghc6-agda-dev_2.2.6-4_amd64.deb


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

Announcing to debian-devel-changes at lists.debian.org
Closing bugs: 572300 


Thank you for your contribution to Debian.



More information about the Pkg-haskell-maintainers mailing list