| ID | 1653974 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | ocaml-qcheck | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Version | 0.16 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Release | 2.fc33 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Epoch | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Source | git+https://src.fedoraproject.org/rpms/ocaml-qcheck.git#f573c5484956f855ddc8241143d8c04630275bf2 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Summary | QuickCheck inspired property-based testing for OCaml | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Description | 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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Built by | jjames | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| State | complete | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Volume | DEFAULT | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Started | Thu, 03 Dec 2020 02:17:51 UTC | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Completed | Thu, 03 Dec 2020 02:23:33 UTC | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Task | build (f33-build-side-34777, /rpms/ocaml-qcheck.git:f573c5484956f855ddc8241143d8c04630275bf2) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-qcheck.git#f573c5484956f855ddc8241143d8c04630275bf2'}} | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tags |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| RPMs |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Logs | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Changelog | * Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 0.16-2 - Add upstream patches to fix numeric range issues * Thu Nov 12 2020 Jerry James <loganjerry@gmail.com> - 0.16-1.1 - Rebuild to fix broken ocaml-fmt dependency * Thu Nov 05 2020 Jerry James <loganjerry@gmail.com> - 0.16-1 - Version 0.16 * 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 |