Merge pull request #4198 from c-cube/qcheck-0.4

qcheck 0.4

packages/qcheck/qcheck.0.4/descr

@@ -0,0 +1,6 @@
+QuickCheck inspired property-based testing for OCaml.
+
+This module allows to check invariants (properties of some types) over
+randomly generated instances of the type. It provides combinators for
+generating instances and printing them.
+

packages/qcheck/qcheck.0.4/findlib

@@ -0,0 +1 @@
+qcheck

packages/qcheck/qcheck.0.4/opam

@@ -0,0 +1,26 @@
+opam-version: "1.2"
+maintainer: "[email protected]"
+author: [ "Simon Cruanes <[email protected]>" ]
+homepage: "https://github.com/c-cube/qcheck/"
+doc: ["http://cedeela.fr/~simon/software/qcheck/QCheck.html"]
+tags: [
+  "test"
+  "property"
+  "quickcheck"
+]
+build: [
+  ["ocaml" "setup.ml" "-configure" "--prefix" prefix "--%{ounit:enable}%-ounit"]
+  [make "all" "install_file"]
+]
+install: [
+  [make "install"]
+]
+remove: [
+    ["ocamlfind" "remove" "qcheck"]
+]
+depends: ["ocamlfind"]
+depopts: ["ounit" ]
+available: [ ocaml-version >= "4.00.0" ]
+dev-repo: "https://github.com/c-cube/qcheck.git"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+conflicts: [ "ounit" { < "2.0" } ]

packages/qcheck/qcheck.0.4/url

@@ -0,0 +1,2 @@
+archive: "https://github.com/c-cube/qcheck/archive/0.4.tar.gz"
+checksum: "87a5e6b8643fb9f2931fba381105e9aa"