[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