gringo_5.3.0-12_amd64.changes uploaded successfully to localhost along with the files: gringo_5.3.0-12.dsc gringo_5.3.0-12.debian.tar.xz gringo_5.3.0-12_amd64.buildinfo
Greetings, Your Debian queue daemon (running on host usper.debian.org) -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers