Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-qcheck-core-devel | Distribution: Mageia |
Version: 0.24 | Vendor: Mageia.Org |
Release: 1.mga10 | Build date: Thu Jun 19 18:04:56 2025 |
Group: Development/OCaml | Build host: localhost |
Size: 2864863 | 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-core |
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-core-devel package contains libraries and signature files for developing applications that use ocaml-qcheck-core.
BSD
* Thu Jun 19 2025 daviddavid <daviddavid> 0.24-1.mga10 + Revision: 2192931 - new version: 0.24
/usr/lib64/ocaml/qcheck-core/QCheck.mli /usr/lib64/ocaml/qcheck-core/QCheck2.mli /usr/lib64/ocaml/qcheck-core/dune-package /usr/lib64/ocaml/qcheck-core/opam /usr/lib64/ocaml/qcheck-core/qCheck.cmt /usr/lib64/ocaml/qcheck-core/qCheck.cmti /usr/lib64/ocaml/qcheck-core/qCheck.cmx /usr/lib64/ocaml/qcheck-core/qCheck2.cmt /usr/lib64/ocaml/qcheck-core/qCheck2.cmti /usr/lib64/ocaml/qcheck-core/qCheck2.cmx /usr/lib64/ocaml/qcheck-core/qcheck_core.a /usr/lib64/ocaml/qcheck-core/qcheck_core.cmxa /usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.mli /usr/lib64/ocaml/qcheck-core/runner/qCheck_base_runner.cmt /usr/lib64/ocaml/qcheck-core/runner/qCheck_base_runner.cmti /usr/lib64/ocaml/qcheck-core/runner/qCheck_base_runner.cmx /usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.a /usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cmxa
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Jun 20 05:49:56 2025