[Pkg-haskell-maintainers] agda_2.3.0.1-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:
agda-mode_2.3.0.1-1_all.deb
  to main/a/agda/agda-mode_2.3.0.1-1_all.deb
agda_2.3.0.1-1.debian.tar.gz
  to main/a/agda/agda_2.3.0.1-1.debian.tar.gz
agda_2.3.0.1-1.dsc
  to main/a/agda/agda_2.3.0.1-1.dsc
agda_2.3.0.1-1_all.deb
  to main/a/agda/agda_2.3.0.1-1_all.deb
agda_2.3.0.1.orig.tar.gz
  to main/a/agda/agda_2.3.0.1.orig.tar.gz
libghc-agda-dev_2.3.0.1-1_amd64.deb
  to main/a/agda/libghc-agda-dev_2.3.0.1-1_amd64.deb
libghc-agda-doc_2.3.0.1-1_all.deb
  to main/a/agda/libghc-agda-doc_2.3.0.1-1_all.deb


Changes:
agda (2.3.0.1-1) unstable; urgency=low
 .
  * New upstream release, GHC-7.4.1 compatible (Closes: #663048)


Override entries for your package:
agda-mode_2.3.0.1-1_all.deb - optional misc
agda_2.3.0.1-1.dsc - source haskell
agda_2.3.0.1-1_all.deb - extra misc
libghc-agda-dev_2.3.0.1-1_amd64.deb - extra haskell
libghc-agda-doc_2.3.0.1-1_all.deb - extra doc

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


Thank you for your contribution to Debian.