coq-quickchick (2.0.3-3) unstable; urgency=medium * Team upload * Do not hardcode /usr/lib/ocaml -- Stéphane Glondu Sun, 04 Aug 2024 08:10:37 +0200 coq-quickchick (2.0.3-2) unstable; urgency=medium * Fix target distribution. -- Julien Puydt Fri, 26 Apr 2024 16:00:35 +0200 coq-quickchick (2.0.3-1) binary; urgency=medium * New upstream release. -- Julien Puydt Fri, 05 Apr 2024 20:48:07 +0200 coq-quickchick (2.0.2-2) binary; urgency=medium * Rebuild for binary compatibility. -- Julien Puydt Sat, 30 Mar 2024 11:17:32 +0100 coq-quickchick (2.0.2-1) unstable; urgency=medium * New upstream release. -- Julien Puydt 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 Fri, 22 Dec 2023 11:28:29 +0100 coq-quickchick (2.0-2) unstable; urgency=medium * Team upload * Build-depend on ocaml-dune (Closes: #1040814) * Fix Vcs-* -- Stéphane Glondu Wed, 12 Jul 2023 10:55:33 +0200 coq-quickchick (2.0-1) unstable; urgency=medium * New upstream release. * Add lintian overrides for false positives. -- Julien Puydt Wed, 14 Jun 2023 15:45:47 +0200 coq-quickchick (1.6.4-3) unstable; urgency=medium * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. -- Julien Puydt Wed, 25 Jan 2023 13:56:43 +0100 coq-quickchick (1.6.4-2) unstable; urgency=medium * Fix for Coq 8.16. -- Julien Puydt Mon, 05 Sep 2022 22:54:49 +0200 coq-quickchick (1.6.4-1) unstable; urgency=medium * New upstream release. -- Julien Puydt Mon, 15 Aug 2022 08:26:31 +0200 coq-quickchick (1.6.3-2) unstable; urgency=medium * Rebuild against more recent coq-simple-io. -- Julien Puydt Sat, 13 Aug 2022 23:47:35 +0200 coq-quickchick (1.6.3-1) unstable; urgency=medium * Initial release. (Closes: #1015000) -- Julien Puydt Sat, 16 Jul 2022 00:34:31 +0200