-
coq-elpi (1.19.3-2build4) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Mon, 08 Apr 2024 09:13:55 +0200
-
coq-elpi (1.19.3-2build3) noble; urgency=medium
* No-change rebuild for CVE-2024-3094
-- Steve Langasek <email address hidden> Sun, 31 Mar 2024 17:53:25 +0000
-
coq-elpi (1.19.3-2build2) noble; urgency=medium
* No-change rebuild for new libcoq-stdlib ABI
-- Steve Langasek <email address hidden> Sun, 24 Mar 2024 00:12:59 +0000
-
coq-elpi (1.19.3-2build1) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Sat, 17 Feb 2024 01:24:20 +0100
-
coq-elpi (1.19.3-2) unstable; urgency=medium
* Team upload
* Increase timeout in test that takes a bit longer on riscv64
-- Stéphane Glondu <email address hidden> Wed, 03 Jan 2024 08:51:24 +0100
-
coq-elpi (1.19.3-1) unstable; urgency=medium
* Fix d/rules clean target (Closes: #1044251).
* New upstream release.
* Drop all patches.
-- Julien Puydt <email address hidden> Thu, 21 Dec 2023 15:23:48 +0100
-
coq-elpi (1.17.1-1build10) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 23 Nov 2023 00:41:02 +0100
-
coq-elpi (1.17.1-1build9) noble; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Sat, 04 Nov 2023 20:13:21 +0100
-
coq-elpi (1.17.1-1build8) mantic; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Mon, 28 Aug 2023 17:11:13 +0200