https://launchpad.net/ubuntu/+source/gringo/5.6.2-0ubuntu1
Here is what we came up with. Note that there's still one test hanging,
which is disabled for now.
https://launchpad.net/ubuntu/+source/gringo/5.6.2-0ubuntu1