Hello, A team upload of gringo 5.8.0-1 which fixes FTBFS bug #1112978 is sitting in git (master branch). I will upload this to unstable by October 12 unless there are any objections.
-Ralf. -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
