gringo 4.5.4-1 is marked for autoremoval from testing on 2016-06-07 It is affected by these RC bugs: 822383: gringo: FTBFS: error: 'pow' is not a member of 'std'
-- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
