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

[Dimitri John Ledkov]

why3 (0.87.3-2build4) artful; urgency=high

  * No change rebuild against ocaml with old binutils on arm64.

Date: 2017-07-16 14:35:50.020072+00:00
Changed-By: Dimitri John Ledkov <launchpad at surgut.co.uk>
https://launchpad.net/ubuntu/+source/why3/0.87.3-2build4
-------------- next part --------------
Sorry, changesfile not available.