[ubuntu/artful-proposed] coq 8.6-4build2 (Accepted)

[Dimitri John Ledkov]

coq (8.6-4build2) artful; urgency=high

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

Date: 2017-07-16 14:35:23.758024+00:00
Changed-By: Dimitri John Ledkov <launchpad at surgut.co.uk>
https://launchpad.net/ubuntu/+source/coq/8.6-4build2
-------------- next part --------------
Sorry, changesfile not available.