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

[Debian FTP Masters]

Accepted:
agda-bin_2.3.0.1-1.diff.gz
  to main/a/agda-bin/agda-bin_2.3.0.1-1.diff.gz
agda-bin_2.3.0.1-1.dsc
  to main/a/agda-bin/agda-bin_2.3.0.1-1.dsc
agda-bin_2.3.0.1-1_amd64.deb
  to main/a/agda-bin/agda-bin_2.3.0.1-1_amd64.deb
agda-bin_2.3.0.1.orig.tar.gz
  to main/a/agda-bin/agda-bin_2.3.0.1.orig.tar.gz


Changes:
agda-bin (2.3.0.1-1) unstable; urgency=low
 .
  * New upstream release


Override entries for your package:
agda-bin_2.3.0.1-1.dsc - source haskell
agda-bin_2.3.0.1-1_amd64.deb - extra haskell

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


Thank you for your contribution to Debian.