Change logs for coq source package in Bionic

coq (8.6-5build1) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Oct 2017 16:21:16 +0200

coq (8.6-5) unstable; urgency=medium

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

 -- Stéphane Glondu <email address hidden>  Tue, 26 Sep 2017 11:08:52 +0200

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

  * No change rebuild against new findlib.

 -- Dimitri John Ledkov <email address hidden>  Thu, 27 Jul 2017 09:44:54 +0100