Ubuntu
coq-ext-lib package

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

  1. Lunar (23.04)
  2. Change log 
  • 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
  • coq-ext-lib (0.11.7-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 26 Jan 2023 14:00:17 +0100
  • coq-ext-lib (0.11.7-2) unstable; urgency=medium

  * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.

 -- Julien Puydt <email address hidden>  Wed, 25 Jan 2023 07:55:55 +0100
  • coq-ext-lib (0.11.7-1build3) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 03 Dec 2022 10:44:44 +0100
  • coq-ext-lib (0.11.7-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 25 Nov 2022 19:11:38 +0100
  • coq-ext-lib (0.11.7-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 25 Nov 2022 09:23:22 +0100
  • coq-ext-lib (0.11.7-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Sat, 13 Aug 2022 23:40:35 +0200