-
coquelicot (3.4.1-1build5) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Mon, 08 Apr 2024 09:15:46 +0200
-
coquelicot (3.4.1-1build4) noble; urgency=medium
* No-change rebuild for CVE-2024-3094
-- Steve Langasek <email address hidden> Sun, 31 Mar 2024 17:55:59 +0000
-
coquelicot (3.4.1-1build3) noble; urgency=medium
* No-change rebuild for new ssreflect ABI
-- Steve Langasek <email address hidden> Sun, 24 Mar 2024 23:13:25 +0000
-
coquelicot (3.4.1-1build2) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Sat, 17 Feb 2024 01:24:40 +0100
-
coquelicot (3.4.1-1build1) noble; urgency=medium
* Rebuild against latest coq libraries
-- Jeremy Bícha <email address hidden> Sat, 27 Jan 2024 19:49:42 -0500
-
coquelicot (3.4.1-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <email address hidden> Sat, 20 Jan 2024 20:05:57 +0100
-
coquelicot (3.4.0-1) unstable; urgency=medium
[ Debian Janitor ]
* debian/copyright: use spaces rather than tabs to start continuation lines.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1044385).
* New upstream release.
-- Julien Puydt <email address hidden> Fri, 22 Dec 2023 11:23:30 +0100
-
coquelicot (3.3.1-1build4) noble; urgency=medium
* Rebuild against latest coq
-- Jeremy Bícha <email address hidden> Sat, 23 Dec 2023 07:23:32 -0500
-
coquelicot (3.3.1-1build3) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 23 Nov 2023 00:42:42 +0100
-
coquelicot (3.3.1-1build2) noble; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Sat, 04 Nov 2023 20:13:36 +0100
-
coquelicot (3.3.1-1build1) mantic; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Mon, 24 Jul 2023 19:06:33 +0200