-
coq-quickchick (2.0.2-1build5) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Mon, 08 Apr 2024 09:19:16 +0200
-
coq-quickchick (2.0.2-1build4) noble; urgency=medium
* No-change rebuild for CVE-2024-3094
-- Steve Langasek <email address hidden> Sun, 31 Mar 2024 17:55:10 +0000
-
coq-quickchick (2.0.2-1build3) noble; urgency=medium
* No-change rebuild for new libcoq-stdlib ABI
-- Steve Langasek <email address hidden> Sun, 24 Mar 2024 00:14:37 +0000
-
coq-quickchick (2.0.2-1build2) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Sat, 17 Feb 2024 01:27:31 +0100
-
coq-quickchick (2.0.2-1build1) noble; urgency=medium
* Rebuild against latest coq libraries
-- Jeremy Bícha <email address hidden> Sat, 27 Jan 2024 19:48:27 -0500
-
coq-quickchick (2.0.2-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <email address hidden> Sat, 20 Jan 2024 20:12:13 +0100
-
coq-quickchick (2.0.1-1) unstable; urgency=medium
* Fix d/rules clean target (Closes: #1044511).
* New upstream release.
-- Julien Puydt <email address hidden> Fri, 22 Dec 2023 11:28:29 +0100
-
coq-quickchick (2.0-2build4) noble; urgency=medium
* Rebuild against latest coq
-- Jeremy Bícha <email address hidden> Sat, 23 Dec 2023 14:09:52 -0500
-
coq-quickchick (2.0-2build3) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 23 Nov 2023 00:45:55 +0100
-
coq-quickchick (2.0-2build2) noble; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Sat, 04 Nov 2023 20:15:28 +0100
-
coq-quickchick (2.0-2build1) mantic; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Mon, 24 Jul 2023 19:10:56 +0200
