Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-qcheck | Distribution: Mageia |
Version: 0.24 | Vendor: Mageia.Org |
Release: 1.mga10 | Build date: Thu Jun 19 18:04:26 2025 |
Group: Development/OCaml | Build host: localhost |
Size: 88734 | Source RPM: ocaml-qcheck-0.24-1.mga10.src.rpm |
Packager: daviddavid <daviddavid> | |
Url: https://c-cube.github.io/qcheck/ | |
Summary: QuickCheck inspired property-based testing for OCaml |
Qcheck enables checking invariants (properties of a type) over randomly generated instances of the type. It provides combinators for generating instances and printing them. This package is a compatibility wrapper for qcheck. New code should use either ocaml-qcheck-alcotest or ocaml-qcheck-ounit.
BSD
* Thu Jun 19 2025 daviddavid <daviddavid> 0.24-1.mga10 + Revision: 2192931 - new version: 0.24
/usr/lib/ocaml/qcheck /usr/lib/ocaml/qcheck/META /usr/lib/ocaml/qcheck/qCheck_runner.cmi /usr/lib/ocaml/qcheck/qcheck.cma /usr/share/doc/ocaml-qcheck /usr/share/doc/ocaml-qcheck/CHANGELOG.md /usr/share/doc/ocaml-qcheck/README.html /usr/share/licenses/ocaml-qcheck /usr/share/licenses/ocaml-qcheck/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat Jun 21 04:16:20 2025