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

ocaml-qcheck-devel-0.24-1.mga10 RPM for armv7hl

From Mageia Cauldron for armv7hl / media / core / release

Name: ocaml-qcheck-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: 91048 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
 
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.

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/QCheck_runner.ml
/usr/lib/ocaml/qcheck/dune-package
/usr/lib/ocaml/qcheck/opam
/usr/lib/ocaml/qcheck/qCheck_runner.cmt
/usr/share/doc/ocaml-qcheck-devel
/usr/share/doc/ocaml-qcheck-devel/CHANGELOG.md
/usr/share/doc/ocaml-qcheck-devel/README.html
/usr/share/licenses/ocaml-qcheck-devel
/usr/share/licenses/ocaml-qcheck-devel/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Jun 20 05:08:44 2025