Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-qcheck | Distribution: Fedora Project |
Version: 0.10 | Vendor: Fedora Project |
Release: 4.el8 | Build date: Thu Nov 28 22:37:03 2019 |
Group: Unspecified | Build host: buildvm-aarch64-19.arm.fedoraproject.org |
Size: 2734496 | Source RPM: ocaml-qcheck-0.10-4.el8.src.rpm |
Packager: Fedora Project | |
Url: https://github.com/c-cube/qcheck | |
Summary: QuickCheck inspired property-based testing for OCaml |
This module allows to check invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them.
BSD
* Fri Nov 29 2019 Andy Li <andy@onthewings.net> - 0.10-4 - Remove unused BuildRequires on opam-installer. * Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 0.10-3 - OCaml 4.08.1 (final) rebuild. * Thu Aug 01 2019 Richard W.M. Jones <rjones@redhat.com> - 0.10-2 - OCaml 4.08.1 (rc2) rebuild. * Sat Jul 27 2019 Andy Li <andy@onthewings.net> - 0.10-1 - New upstream release. - Update build system and commands from jbuilder to dune. * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 0.8-5 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.8-4 - OCaml 4.07.0-rc1 rebuild. * Mon May 14 2018 Andy Li <andy@onthewings.net> - 0.8-3 - Rebuilt against ounit. * Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Mon Feb 05 2018 Andy Li <andy@onthewings.net> - 0.8-1 - New upstream release. (RHBZ#1541681) - Enable debug package. * Sat Dec 02 2017 Richard W.M. Jones <rjones@redhat.com> - 0.7-2 - OCaml 4.06.0 rebuild. * Mon Nov 20 2017 Andy Li <andy@onthewings.net> - 0.7-1 - Initial RPM release.
/usr/lib/.build-id /usr/lib/.build-id/0a /usr/lib/.build-id/0a/cfff2b21453efc5a37728848c7eec46b7d8283 /usr/lib/.build-id/39 /usr/lib/.build-id/39/2ce24521e7738c57cfbabbd16f7a01309a2648 /usr/lib/.build-id/76 /usr/lib/.build-id/76/3c7b87401f361392ed86aa4a45b01aab2a419f /usr/lib/.build-id/9d /usr/lib/.build-id/9d/d48c6ffed324261efaaa0e49ca80fa402b8d19 /usr/lib64/ocaml/qcheck /usr/lib64/ocaml/qcheck-core /usr/lib64/ocaml/qcheck-core/META /usr/lib64/ocaml/qcheck-core/QCheck.cmi /usr/lib64/ocaml/qcheck-core/QCheck.cmt /usr/lib64/ocaml/qcheck-core/QCheck.cmti /usr/lib64/ocaml/qcheck-core/dune-package /usr/lib64/ocaml/qcheck-core/opam /usr/lib64/ocaml/qcheck-core/qcheck_core.cma /usr/lib64/ocaml/qcheck-core/qcheck_core.cmxs /usr/lib64/ocaml/qcheck-core/runner /usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.cmi /usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.cmt /usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.cmti /usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cma /usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cmxs /usr/lib64/ocaml/qcheck-ounit /usr/lib64/ocaml/qcheck-ounit/META /usr/lib64/ocaml/qcheck-ounit/QCheck_ounit.cmi /usr/lib64/ocaml/qcheck-ounit/QCheck_ounit.cmt /usr/lib64/ocaml/qcheck-ounit/QCheck_ounit.cmti /usr/lib64/ocaml/qcheck-ounit/dune-package /usr/lib64/ocaml/qcheck-ounit/opam /usr/lib64/ocaml/qcheck-ounit/qcheck_ounit.cma /usr/lib64/ocaml/qcheck-ounit/qcheck_ounit.cmxs /usr/lib64/ocaml/qcheck/META /usr/lib64/ocaml/qcheck/QCheck_runner.cmi /usr/lib64/ocaml/qcheck/QCheck_runner.cmt /usr/lib64/ocaml/qcheck/dune-package /usr/lib64/ocaml/qcheck/opam /usr/lib64/ocaml/qcheck/qcheck.cma /usr/lib64/ocaml/qcheck/qcheck.cmxs /usr/share/doc/ocaml-qcheck /usr/share/doc/ocaml-qcheck/CHANGELOG.md /usr/share/doc/ocaml-qcheck/README.adoc /usr/share/licenses/ocaml-qcheck /usr/share/licenses/ocaml-qcheck/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Aug 18 17:08:29 2024