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

ocaml-qcheck-core-devel-0.21.3-6.fc40 RPM for aarch64

From Fedora 40 for aarch64 / o

Name: ocaml-qcheck-core-devel Distribution: Fedora Project
Version: 0.21.3 Vendor: Fedora Project
Release: 6.fc40 Build date: Fri Feb 2 21:42:28 2024
Group: Unspecified Build host: buildvm-a64-31.iad2.fedoraproject.org
Size: 3628371 Source RPM: ocaml-qcheck-0.21.3-6.fc40.src.rpm
Packager: Fedora Project
Url: https://c-cube.github.io/qcheck/
Summary: Development files for ocaml-qcheck-core
 
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-qcheck-core-devel package contains libraries and signature
files for developing applications that use ocaml-qcheck-core.

Provides

Requires

License

BSD-2-Clause

Changelog

* Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 0.21.3-6
  - Rebuild for changed ocamlx(Location) hash
* Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.21.3-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.21.3-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 0.21.3-3
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.21.3-2
  - OCaml 5.1.1 rebuild for Fedora 40
* Thu Dec 07 2023 Jerry James <loganjerry@gmail.com> - 0.21.3-1
  - Version 0.21.3
  - Drop upstreamed ocaml5 and asciidoc patches
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 0.21.2-2
  - OCaml 5.1 rebuild for Fedora 40
* Fri Sep 01 2023 Jerry James <loganjerry@gmail.com> - 0.21.2-1
  - Version 0.21.2
  - Add patch to fix an asciidoc error
* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.21.1-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 11 2023 Richard W.M. Jones <rjones@redhat.com> - 0.21.1-3
  - OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.21.1-2
  - OCaml 5.0.0 rebuild
* Thu Jun 08 2023 Jerry James <loganjerry@gmail.com> - 0.21.1-1
  - Version 0.21.1
* Tue May 16 2023 Jerry James <loganjerry@gmail.com> - 0.21-1
  - Version 0.21
* Tue Mar 21 2023 Jerry James <loganjerry@gmail.com> - 0.20-4
  - Rebuild for ocaml-alcotest 1.7.0
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.20-3
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.20-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Tue Nov 08 2022 Jerry James <loganjerry@gmail.com> - 0.20-1
  - Version 0.20
* Mon Nov 07 2022 Jerry James <loganjerry@gmail.com> - 0.19.1-5
  - Rebuild for ocaml-ppxlib 0.28.0
* Wed Sep 21 2022 Jerry James <loganjerry@gmail.com> - 0.19.1-4
  - Rebuild for ocaml-alcotest 1.6.0
* Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 0.19.1-3
  - Rebuild for ocaml-ounit 2.2.6
  - Convert License tag to SPDX
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.19.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Mon Jul 18 2022 Jerry James <loganjerry@gmail.com> - 0.19.1-1
  - Version 0.19.1
  - Add ocaml-ppx-deriving-qcheck subpackage
  - Reenable tests on 32-bit x86
  - Add patch to expose a dependency on libm
  - Build the documentation with asciidoc
  - Use new OCaml macros
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 0.18.1-2
  - OCaml 4.14.0 rebuild
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 0.18.1-1
  - Version 0.18.1
  - Disable tests on 32-bit x86
  - Give ppc64le extra stack space for running tests
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.18-6
  - OCaml 4.13.1 rebuild to remove package notes

Files

/usr/lib64/ocaml/qcheck-core/QCheck.mli
/usr/lib64/ocaml/qcheck-core/QCheck2.mli
/usr/lib64/ocaml/qcheck-core/dune-package
/usr/lib64/ocaml/qcheck-core/opam
/usr/lib64/ocaml/qcheck-core/qCheck.cmt
/usr/lib64/ocaml/qcheck-core/qCheck.cmti
/usr/lib64/ocaml/qcheck-core/qCheck.cmx
/usr/lib64/ocaml/qcheck-core/qCheck2.cmt
/usr/lib64/ocaml/qcheck-core/qCheck2.cmti
/usr/lib64/ocaml/qcheck-core/qCheck2.cmx
/usr/lib64/ocaml/qcheck-core/qcheck_core.a
/usr/lib64/ocaml/qcheck-core/qcheck_core.cmxa
/usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.mli
/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_base_runner.cmx
/usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.a
/usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cmxa

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 23:47:10 2024