gringo_3.0.3-7_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:
gringo_3.0.3-7.debian.tar.gz
  to main/g/gringo/gringo_3.0.3-7.debian.tar.gz
gringo_3.0.3-7.dsc
  to main/g/gringo/gringo_3.0.3-7.dsc
gringo_3.0.3-7_amd64.deb
  to main/g/gringo/gringo_3.0.3-7_amd64.deb


Override entries for your package:
gringo_3.0.3-7.dsc - source interpreters
gringo_3.0.3-7_amd64.deb - optional interpreters

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


Thank you for your contribution to Debian.