Ubuntu
coquelicot package

Change logs for coquelicot source package in Lunar

  1. Lunar (23.04)
  2. Change log 
  • coquelicot (3.2.0-8build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 16 Feb 2023 19:29:55 +0100
  • coquelicot (3.2.0-8build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 16 Feb 2023 10:55:26 +0100
  • coquelicot (3.2.0-8) unstable; urgency=medium

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

 -- Julien Puydt <email address hidden>  Wed, 25 Jan 2023 13:17:50 +0100
  • coquelicot (3.2.0-7build4) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 26 Jan 2023 09:48:56 +0100
  • coquelicot (3.2.0-7build3) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 03 Dec 2022 10:46:18 +0100
  • coquelicot (3.2.0-7build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 25 Nov 2022 09:24:33 +0100
  • coquelicot (3.2.0-7build1) kinetic; urgency=medium

  * No-change rebuild against ssreflect 1.15.0

 -- Paride Legovini <email address hidden>  Mon, 18 Jul 2022 13:31:30 +0200