[ubuntu/bionic-proposed] coq 8.6-5 (Accepted)

[LocutusOfBorg]

coq (8.6-5) unstable; urgency=medium

  * Recompile with OCaml 4.05.0
  * Remove unused Lintian overrides
  * Remove menu files
  * Update Vcs-*

Date: 2017-09-26 16:34:30.787345+00:00
Signed-By: LocutusOfBorg <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq/8.6-5
-------------- next part --------------
Sorry, changesfile not available.