Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-qcheck-core-devel-0.24-1.mga10 RPM for i686

From Mageia Cauldron for i686 / media / core / release

Name: ocaml-qcheck-core-devel Distribution: Mageia
Version: 0.24 Vendor: Mageia.Org
Release: 1.mga10 Build date: Thu Jun 19 18:04:12 2025
Group: Development/OCaml Build host: localhost
Size: 1461049 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.

Provides

Requires

License

BSD

Changelog

* Thu Jun 19 2025 daviddavid <daviddavid> 0.24-1.mga10
  + Revision: 2192931
  - new version: 0.24

Files

/usr/lib/ocaml/qcheck-core/QCheck.mli
/usr/lib/ocaml/qcheck-core/QCheck2.mli
/usr/lib/ocaml/qcheck-core/dune-package
/usr/lib/ocaml/qcheck-core/opam
/usr/lib/ocaml/qcheck-core/qCheck.cmt
/usr/lib/ocaml/qcheck-core/qCheck.cmti
/usr/lib/ocaml/qcheck-core/qCheck2.cmt
/usr/lib/ocaml/qcheck-core/qCheck2.cmti
/usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.mli
/usr/lib/ocaml/qcheck-core/runner/qCheck_base_runner.cmt
/usr/lib/ocaml/qcheck-core/runner/qCheck_base_runner.cmti

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Jun 20 05:25:26 2025