-
frama-c (20220511-manganese-5build11) oracular; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Fri, 14 Jun 2024 06:54:01 +0200
-
frama-c (20220511-manganese-5build10) oracular; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 13 Jun 2024 10:49:40 +0200
-
frama-c (20220511-manganese-5build9) oracular; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 13 Jun 2024 09:51:27 +0200
-
frama-c (20220511-manganese-5build8) oracular; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Mon, 03 Jun 2024 23:40:34 +0200
-
frama-c (20220511-manganese-5build7) noble; urgency=medium
* No-change rebuild for CVE-2024-3094
-- Steve Langasek <email address hidden> Sun, 31 Mar 2024 05:18:58 +0000