Processing of gringo_5.1.0-4_amd64.changes

Debian FTP Masters ftpmaster at ftp-master.debian.org
Tue Dec 20 06:31:29 UTC 2016


gringo_5.1.0-4.dsc has incorrect md5 checksum; deleting it
gringo_5.1.0-4_amd64.buildinfo has incorrect size; deleting it

Greetings,

	Your Debian queue daemon (running on host usper.debian.org)



More information about the debian-science-maintainers mailing list