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

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

From Mageia Cauldron for armv7hl / media / core / release

Name: ocaml-qcheck-core 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: 590762 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 provides alcotest support for qcheck.

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
/usr/lib/ocaml/qcheck-core/META
/usr/lib/ocaml/qcheck-core/qCheck.cmi
/usr/lib/ocaml/qcheck-core/qCheck2.cmi
/usr/lib/ocaml/qcheck-core/qcheck_core.cma
/usr/lib/ocaml/qcheck-core/runner
/usr/lib/ocaml/qcheck-core/runner/qCheck_base_runner.cmi
/usr/lib/ocaml/qcheck-core/runner/qcheck_runner.cma


Generated by rpm2html 1.8.1

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