ocaml-qcheck (0.15-1) unstable; urgency=medium * Team upload * New upstream release -- Stéphane Glondu Mon, 21 Sep 2020 06:53:06 +0200 ocaml-qcheck (0.14-1) unstable; urgency=medium * Team upload * New upstream release * Bump debhelper compat level to 13 * Bump Standards-Version to 4.5.0 * Add Rules-Requires-Root: no -- Stéphane Glondu Mon, 17 Aug 2020 13:54:37 +0200 ocaml-qcheck (0.11-1) unstable; urgency=medium * New upstream release. * Bump Standards-Version to 4.4.1 (no changes). -- Andy Li Sat, 09 Nov 2019 14:36:01 +0800 ocaml-qcheck (0.9-2) unstable; urgency=medium * Fix install file name for building with the latest version of dune. -- Andy Li Mon, 12 Aug 2019 08:27:52 +0800 ocaml-qcheck (0.9-1) unstable; urgency=medium * New upstream release. + qcheck was split into qcheck, qcheck-core, and qcheck-ounit. + Update autopkgtests to build with the new examples. * Improve d/rules. + Use dune instead of jbuilder in d/rules. + Explicitly state what packages to be built. qcheck-alcotest was excluded since alcotest has not been packaged in Debian. * Bump Standards-Version to 4.3.0 (no changes). * Mark libqcheck-ocaml-doc as Multi-Arch: foreign. * Replace Build-Depends: opam with opam-installer, which is more accurate. -- Andy Li Thu, 31 Jan 2019 19:52:24 +0800 ocaml-qcheck (0.8-1) unstable; urgency=medium * Initial release. (Closes: #903371) -- Andy Li Wed, 15 Aug 2018 10:14:09 +0800