Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-ppx_deriving_qcheck-devel | Distribution: Mageia |
Version: 0.20 | Vendor: Mageia.Org |
Release: 2.mga9 | Build date: Sun Dec 11 18:19:08 2022 |
Group: Development/OCaml | Build host: localhost |
Size: 1203685 | Source RPM: ocaml-qcheck-0.20-2.mga9.src.rpm |
Packager: pterjan <pterjan> | |
Url: https://c-cube.github.io/qcheck/ | |
Summary: Development files for ocaml-ppx_deriving_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-ppx_deriving_qcheck-devel package contains libraries and signature files for developing applications that use ocaml-ppx_deriving_qcheck.
BSD
* Sun Dec 11 2022 pterjan <pterjan> 0.20-2.mga9 + Revision: 1920606 - Rebuild for new ppxlib * Fri Dec 09 2022 pterjan <pterjan> 0.20-1.mga9 + Revision: 1920118 - Update to 0.20 * Sun Oct 09 2022 pterjan <pterjan> 0.19.1-1.mga9 + Revision: 1895901 - Update to 0.19.1 * Wed May 25 2022 pterjan <pterjan> 0.18.1-1.mga9 + Revision: 1860136 - Update to 0.18.1 * Fri May 20 2022 pterjan <pterjan> 0.18-2.mga9 + Revision: 1859415 - Rebuild for OCaml 4.14 * Fri Oct 15 2021 tv <tv> 0.18-1.mga9 + Revision: 1751508 - Ignore testsuite failure for now - Version 0.18 - Split into subpackages to manage dependencies - Move META to the main package - Disable debuginfo * Thu Mar 25 2021 tv <tv> 0.17-1.mga9 + Revision: 1709750 - Enable debuginfo - 0.17 * Sun Jan 10 2021 pterjan <pterjan> 0.13-3.mga8 + Revision: 1670732 - Rebuild to generate ocamlx provides
/usr/lib/ocaml/ppx_deriving_qcheck/QCheck_generators.ml /usr/lib/ocaml/ppx_deriving_qcheck/args.ml /usr/lib/ocaml/ppx_deriving_qcheck/attributes.ml /usr/lib/ocaml/ppx_deriving_qcheck/attributes.mli /usr/lib/ocaml/ppx_deriving_qcheck/dune-package /usr/lib/ocaml/ppx_deriving_qcheck/opam /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck.a /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck.cma /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck.cmi /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck.cmt /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck.cmti /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck.cmx /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck.cmxa /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck.ml /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck.mli /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__.cmi /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__.cmt /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__.cmx /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__.ml /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__Args.cmi /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__Args.cmt /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__Args.cmx /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__Attributes.cmi /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__Attributes.cmt /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__Attributes.cmti /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__Attributes.cmx /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__QCheck_generators.cmi /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__QCheck_generators.cmt /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__QCheck_generators.cmx /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__Tuple.cmi /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__Tuple.cmt /usr/lib/ocaml/ppx_deriving_qcheck/ppx_deriving_qcheck__Tuple.cmx /usr/lib/ocaml/ppx_deriving_qcheck/tuple.ml
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Nov 26 10:10:11 2024