gringo 5.2.2-5 is marked for autoremoval from testing on 2018-06-07 It is affected by these RC bugs: 896791: gringo: missing build dependency on python3-distutils
-- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
