Ubuntu
coq-ext-lib package

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

  1. Noble (24.04)
  2. Change log 
  • 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
  • coq-ext-lib (0.12.0-1build3) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- Steve Langasek <email address hidden>  Sun, 31 Mar 2024 17:53:40 +0000
  • coq-ext-lib (0.12.0-1build2) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

 -- Steve Langasek <email address hidden>  Sun, 24 Mar 2024 00:13:15 +0000
  • coq-ext-lib (0.12.0-1build1) noble; urgency=medium

  * Rebuild against latest coq

 -- Jeremy Bícha <email address hidden>  Fri, 22 Dec 2023 20:28:30 -0500
  • coq-ext-lib (0.12.0-1) unstable; urgency=medium

  [Debian Janitor ]
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
    Repository-Browse.

  [Julien Puydt ]
  * Fix d/rules clean target (Closes: #1044715).
  * New upstream release.

 -- Julien Puydt <email address hidden>  Thu, 21 Dec 2023 15:24:39 +0100
  • coq-ext-lib (0.11.8-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 23 Nov 2023 00:41:09 +0100
  • coq-ext-lib (0.11.8-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 06 Nov 2023 17:09:26 +0100
  • 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