[ubuntu/artful-proposed] why3 0.87.3-2ubuntu1 (Accepted)

[Dimitri John Ledkov]

why3 (0.87.3-2ubuntu1) artful; urgency=medium

  * Skip why3+z3 test on ppc64el, as it hangs indefinately.

Date: 2017-07-17 09:27:14.288885+00:00
Changed-By: Dimitri John Ledkov <launchpad at surgut.co.uk>
https://launchpad.net/ubuntu/+source/why3/0.87.3-2ubuntu1
-------------- next part --------------
Sorry, changesfile not available.