https://launchpad.net/ubuntu/+source/gringo/5.6.2-0ubuntu1
-- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
Here is what we came up with. Note that there's still one test hanging,
which is disabled for now.
- Bug#1054688: gringo: FTBFS: main.cc:2:10: fatal... Lucas Nussbaum
- Processed: adding fixes, package still doe... Debian Bug Tracking System
- Bug#1054688: proposed package update Matthias Klose
