coq 8.9.1-5 source package in Ubuntu

Changelog

coq (8.9.1-5) unstable; urgency=medium

  * Be more precise in install files to avoid that usr/bin/coqidetop.{opt,byte}
    gets installed in both the coq and coqide packages (closes: #949975)
  * Add an as-installed test for the compiler and the toplevel.
  * Build-Conflicts with libcoq-ocaml. This seems to be necessary to avoid
    that coq depends on two versions of libcoq-ocaml: the one being build,
    and the one that is installed on the system.

 -- Ralf Treinen <email address hidden>  Tue, 28 Jan 2020 20:23:39 +0100