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

ocaml-ppx_deriving_qcheck-devel-0.20-2.mga9 RPM for armv7hl

From Mageia 9 for armv7hl / media / core / release

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.

Provides

Requires

License

BSD

Changelog

* 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

Files

/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