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

ocaml-qcheck-0.10-4.el8 RPM for ppc64le

From EPEL 8 for ppc64le / Packages / o

Name: ocaml-qcheck Distribution: Fedora Project
Version: 0.10 Vendor: Fedora Project
Release: 4.el8 Build date: Thu Nov 28 22:36:12 2019
Group: Unspecified Build host: buildvm-ppc64le-09.ppc.fedoraproject.org
Size: 2659416 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.

Provides

Requires

License

BSD

Changelog

* 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.

Files

/usr/lib/.build-id
/usr/lib/.build-id/3b
/usr/lib/.build-id/3b/fe97fde9ff5943ada5ea8e7c965c85b3d5db53
/usr/lib/.build-id/50
/usr/lib/.build-id/50/94dffbae2e86ddc935c9cb16dd62e097a16b90
/usr/lib/.build-id/6f
/usr/lib/.build-id/6f/6d7fa59516b0a4269f3e928d1303ec663c3c65
/usr/lib/.build-id/f0
/usr/lib/.build-id/f0/46f78df4e47c3ec740fdfc98cef1b179cebc75
/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, Tue Apr 23 01:59:29 2024