Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-qcheck-ounit-devel | 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: 62230 | Source RPM: ocaml-qcheck-0.24-1.mga10.src.rpm |
Packager: daviddavid <daviddavid> | |
Url: https://c-cube.github.io/qcheck/ | |
Summary: Development files for ocaml-qcheck-ounit |
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-ounit-devel package contains libraries and signature files for developing applications that use ocaml-qcheck-ounit.
BSD
* Thu Jun 19 2025 daviddavid <daviddavid> 0.24-1.mga10 + Revision: 2192931 - new version: 0.24
/usr/lib/ocaml/qcheck-ounit/QCheck_ounit.mli /usr/lib/ocaml/qcheck-ounit/dune-package /usr/lib/ocaml/qcheck-ounit/opam /usr/lib/ocaml/qcheck-ounit/qCheck_ounit.cmt /usr/lib/ocaml/qcheck-ounit/qCheck_ounit.cmti
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Jun 20 05:08:44 2025