gringo-dbgsym_5.1.0-4_amd64.deb has incorrect size; deleting it gringo_5.1.0-4_amd64.deb has incorrect size; deleting it
Greetings,
Your Debian queue daemon (running on host usper.debian.org)
--
debian-science-maintainers mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
