Ubuntu
coq-ext-lib package

Change logs for coq-ext-lib source package in Mantic

  1. Mantic (23.10)
  2. Change log 
  • coq-ext-lib (0.11.8-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 26 Jul 2023 07:10:48 +0200
  • coq-ext-lib (0.11.8-1) unstable; urgency=medium

  * New upstream release.
  * Bump standards-version to 4.6.2.

 -- Julien Puydt <email address hidden>  Mon, 12 Jun 2023 19:29:46 +0200
  • coq-ext-lib (0.11.7-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 16 Feb 2023 19:28:16 +0100