-
coq-math-classes (8.18.0-1build3) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Mon, 08 Apr 2024 09:17:55 +0200
-
coq-math-classes (8.18.0-1build2) noble; urgency=medium
* No-change rebuild for CVE-2024-3094
-- Steve Langasek <email address hidden> Sun, 31 Mar 2024 17:54:42 +0000
-
coq-math-classes (8.18.0-1build1) noble; urgency=medium
* No-change rebuild for new libcoq-stdlib ABI
-- Steve Langasek <email address hidden> Sun, 24 Mar 2024 00:14:11 +0000
-
coq-math-classes (8.18.0-1) unstable; urgency=medium
[ Debian Janitor ]
* debian/copyright: use spaces rather than tabs to start continuation lines.
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
* Set upstream metadata fields: Repository.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1044914).
* New upstream release.
-- Julien Puydt <email address hidden> Thu, 21 Dec 2023 17:09:52 +0100
-
coq-math-classes (8.17.0-1build4) noble; urgency=medium
* Rebuild against latest coq
-- Jeremy Bícha <email address hidden> Sat, 23 Dec 2023 07:21:36 -0500
-
coq-math-classes (8.17.0-1build3) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 23 Nov 2023 00:44:28 +0100
-
coq-math-classes (8.17.0-1build2) noble; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Mon, 06 Nov 2023 17:15:23 +0100
-
coq-math-classes (8.17.0-1build1) mantic; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Wed, 26 Jul 2023 07:12:44 +0200
