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.22-4.fc41 RPM for x86_64

From Fedora 41 for x86_64 / o

Name: ocaml-qcheck-core-devel Distribution: Fedora Project
Version: 0.22 Vendor: Fedora Project
Release: 4.fc41 Build date: Mon Aug 5 18:57:32 2024
Group: Unspecified Build host: buildhw-x86-10.iad2.fedoraproject.org
Size: 3705035 Source RPM: ocaml-qcheck-0.22-4.fc41.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

* Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 0.22-4
  - Rebuild for ocaml-ppxlib 0.33.0
* Thu Jul 25 2024 Jerry James <loganjerry@gmail.com> - 0.22-3
  - Rebuild for ocaml-alcotest 1.8.0
* Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.22-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Wed Jul 10 2024 Jerry James <loganjerry@gmail.com> - 0.22-1
  - Version 0.22
* Wed Jul 03 2024 Jerry James <loganjerry@gmail.com> - 0.21.3-9
  - Rebuild for ocaml-sexplib0 0.17.0
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 0.21.3-8
  - OCaml 5.2.0 ppc64le fix
* Thu May 30 2024 Richard W.M. Jones <rjones@redhat.com> - 0.21.3-7
  - OCaml 5.2.0 for Fedora 41
* 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

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, Sun Oct 27 02:54:38 2024