Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-qcheck-alcotest-devel | Distribution: Mageia |
Version: 0.24 | Vendor: Mageia.Org |
Release: 1.mga10 | Build date: Thu Jun 19 18:04:15 2025 |
Group: Development/OCaml | Build host: localhost |
Size: 63118 | 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-alcotest |
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-alcotest-devel package contains libraries and signature files for developing applications that use ocaml-qcheck-alcotest.
BSD
* Thu Jun 19 2025 daviddavid <daviddavid> 0.24-1.mga10 + Revision: 2192931 - new version: 0.24
/usr/lib64/ocaml/qcheck-alcotest/QCheck_alcotest.mli /usr/lib64/ocaml/qcheck-alcotest/dune-package /usr/lib64/ocaml/qcheck-alcotest/opam /usr/lib64/ocaml/qcheck-alcotest/qCheck_alcotest.cmt /usr/lib64/ocaml/qcheck-alcotest/qCheck_alcotest.cmti /usr/lib64/ocaml/qcheck-alcotest/qCheck_alcotest.cmx /usr/lib64/ocaml/qcheck-alcotest/qcheck_alcotest.a /usr/lib64/ocaml/qcheck-alcotest/qcheck_alcotest.cmxa
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Jun 20 05:37:46 2025