Ubuntu
coq-ext-lib package

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

  1. Oracular (24.10)
  2. Change log 
  • coq-ext-lib (0.12.1-1build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 15 Jun 2024 16:34:01 +0200
  • coq-ext-lib (0.12.1-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 13 May 2024 20:19:55 +0200
  • coq-ext-lib (0.12.1-1build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 02 May 2024 22:09:23 +0200
  • coq-ext-lib (0.12.1-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Sat, 24 Feb 2024 09:56:43 +0100
  • coq-ext-lib (0.12.0-1build4) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 08 Apr 2024 09:14:05 +0200