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

ocaml-qcheck-0.15-1.fc33 RPM for armv7hl

From Fedora 33 testing updates for armhfp / Packages / o

Name: ocaml-qcheck Distribution: Fedora Project
Version: 0.15 Vendor: Fedora Project
Release: 1.fc33 Build date: Sat Sep 26 00:14:29 2020
Group: Unspecified Build host: buildvm-a32-21.iad2.fedoraproject.org
Size: 1044783 Source RPM: ocaml-qcheck-0.15-1.fc33.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 Sep 25 2020 Jerry James <loganjerry@gmail.com> - 0.15-1
  - Version 0.15
* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14-4.1
  - Bump release and rebuild.
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14-4
  - OCaml 4.11.1 rebuild
* Fri Aug 28 2020 Jerry James <loganjerry@gmail.com> - 0.14-3
  - Rebuild for alcotest 1.2.2
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14-2
  - OCaml 4.11.0 rebuild
* Wed Aug 05 2020 Jerry James <loganjerry@gmail.com> - 0.14-1
  - Version 0.14
* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-8
  - Second attempt - Rebuilt for
    https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-6
  - OCaml 4.11.0+dev2-2020-04-22 rebuild
* Wed Apr 22 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-5
  - OCaml 4.11.0 pre-release attempt 2
* Sat Apr 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-4
  - Bump release and rebuild.
* Sat Apr 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-3
  - Update all OCaml dependencies for RPM 4.16.
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-2
  - OCaml 4.10.0 final.
* Wed Feb 19 2020 Jerry James <loganjerry@gmail.com> - 0.13-1
  - New upstream release.
  - Build with alcotest support.
  - Build documentation with odoc, and ship it in a new doc subpackage.
* Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.12-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 0.12-2
  - OCaml 4.10.0+beta1 rebuild.
* Wed Dec 18 2019 Andy Li <andy@onthewings.net> - 0.12-1
  - New upstream release. (RHBZ#1757625)
  - Remove unneeded 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/10
/usr/lib/.build-id/10/1d0ba8bd2b11b1064061823b041649de19db8d
/usr/lib/.build-id/29
/usr/lib/.build-id/29/e53bd6994f61f1664fe75d0b356a64d8ce6940
/usr/lib/.build-id/48
/usr/lib/.build-id/48/31d4bd97f0449371f3977775b77e07d2da915a
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/f7d16c0bc2377f2e7e125193817497ce384b4e
/usr/lib/.build-id/c2
/usr/lib/.build-id/c2/2bd8298b6dec28be7274490a99949628064010
/usr/lib/ocaml/qcheck-alcotest
/usr/lib/ocaml/qcheck-alcotest/qCheck_alcotest.cmi
/usr/lib/ocaml/qcheck-alcotest/qcheck_alcotest.cma
/usr/lib/ocaml/qcheck-alcotest/qcheck_alcotest.cmxs
/usr/lib/ocaml/qcheck-core
/usr/lib/ocaml/qcheck-core/qCheck.cmi
/usr/lib/ocaml/qcheck-core/qcheck_core.cma
/usr/lib/ocaml/qcheck-core/qcheck_core.cmxs
/usr/lib/ocaml/qcheck-core/qcheck_ops.cmi
/usr/lib/ocaml/qcheck-core/runner/qCheck_base_runner.cmi
/usr/lib/ocaml/qcheck-core/runner/qcheck_runner.cma
/usr/lib/ocaml/qcheck-core/runner/qcheck_runner.cmxs
/usr/lib/ocaml/qcheck-ounit
/usr/lib/ocaml/qcheck-ounit/qCheck_ounit.cmi
/usr/lib/ocaml/qcheck-ounit/qcheck_ounit.cma
/usr/lib/ocaml/qcheck-ounit/qcheck_ounit.cmxs
/usr/lib/ocaml/qcheck/qCheck_runner.cmi
/usr/lib/ocaml/qcheck/qcheck.cma
/usr/lib/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, Mon May 9 16:36:51 2022