-
mathcomp-analysis (1.0.0-1build4) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Mon, 08 Apr 2024 09:19:35 +0200
-
mathcomp-analysis (1.0.0-1build3) noble; urgency=medium
* No-change rebuild for CVE-2024-3094
-- Steve Langasek <email address hidden> Sun, 31 Mar 2024 20:04:37 +0000
-
mathcomp-analysis (1.0.0-1build2) noble; urgency=medium
* No-change rebuild for new libcoq-elqi ABI
-- Steve Langasek <email address hidden> Sun, 24 Mar 2024 15:59:31 +0000
-
mathcomp-analysis (1.0.0-1build1) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Sat, 17 Feb 2024 01:27:51 +0100
-
mathcomp-analysis (1.0.0-1) unstable; urgency=medium
[ Julien Puydt ]
* New upstream release.
[ Gianfranco Costamagna ]
* Team upload
* New upstream version 1.0.0 (Closes: #1060988, LP: #2051458)
-- Gianfranco Costamagna <email address hidden> Mon, 29 Jan 2024 09:28:14 +0100
-
mathcomp-analysis (1.0.0-1~build1) noble; urgency=medium
* Upload to Ubuntu
mathcomp-analysis (1.0.0-1) unstable; urgency=medium
[ Julien Puydt ]
* New upstream release.
[ Gianfranco Costamagna ]
* Team upload
* New upstream version 1.0.0 (Closes: #1060988, LP: #2051458)
-- Gianfranco Costamagna <email address hidden> Mon, 29 Jan 2024 09:41:56 +0100
-
mathcomp-analysis (1.0.0-0ubuntu1) noble; urgency=medium
* Upload to Ubuntu
-- Gianfranco Costamagna <email address hidden> Mon, 29 Jan 2024 09:41:56 +0100
-
mathcomp-analysis (0.6.4-3build9) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Mon, 29 Jan 2024 08:55:03 +0100
-
mathcomp-analysis (0.6.4-3build8) noble; urgency=medium
* Rebuild against latest coq
-- Jeremy Bícha <email address hidden> Tue, 26 Dec 2023 21:51:45 -0500
-
mathcomp-analysis (0.6.4-3build7) noble; urgency=medium
* Rebuild against latest coq
-- Jeremy Bícha <email address hidden> Sat, 23 Dec 2023 14:16:25 -0500
-
mathcomp-analysis (0.6.4-3build6) noble; urgency=medium
* Rebuild against latest coq
-- Jeremy Bícha <email address hidden> Sat, 23 Dec 2023 11:18:55 -0500
-
mathcomp-analysis (0.6.4-3build5) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 23 Nov 2023 11:57:53 +0100
-
mathcomp-analysis (0.6.4-3build4) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 23 Nov 2023 07:50:34 +0100
-
mathcomp-analysis (0.6.4-3build3) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 23 Nov 2023 00:46:19 +0100
-
mathcomp-analysis (0.6.4-3build2) noble; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Sat, 04 Nov 2023 20:15:51 +0100
-
mathcomp-analysis (0.6.4-3build1) mantic; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Mon, 28 Aug 2023 18:02:11 +0200
