Sophie

Sophie

distrib > Mageia > 9 > aarch64 > media > core-release > by-pkgid > 4cb19d1f7121a96a9a860431d88d25b5

ocaml-qcheck-devel-0.20-2.mga9.aarch64.rpm

Description:

Qcheck enables checking invariants (properties of a type) over randomly
generated instances of the type. It provides combinators for generating
instances and printing them.

The ocaml-qcheck-devel package contains libraries and signature files
for developing applications that use the qcheck compatibility wrapper.
New code should instead use ocaml-qcheck-alcotest-devel or
ocaml-qcheck-ounit-devel.

Sources packages:

Other version of this rpm: