ocaml-qcheck-0.16-2.fc33.rvre2 | Build Info

Information for build ocaml-qcheck-0.16-2.fc33.rvre2

195391

Package Name

ocaml-qcheck

Version

0.16

Release

2.fc33.rvre2

Epoch

Source

git+http://fedora.riscv.rocks:3000/rpms/ocaml-qcheck.git#867b749cb4bc03e7301b647001d6cadbf6966b1e

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

davidlt

State

complete

Volume

DEFAULT

Started

Sun, 25 Apr 2021 15:06:08 UTC

Completed

Sun, 25 Apr 2021 15:20:35 UTC

Task

build (f33, /rpms/ocaml-qcheck.git:867b749cb4bc03e7301b647001d6cadbf6966b1e)

Extra

{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ocaml-qcheck.git#867b749cb4bc03e7301b647001d6cadbf6966b1e'}}

Tags

f33

RPMs

src
	ocaml-qcheck-0.16-2.fc33.rvre2.src.rpm (info) (download)
noarch
	ocaml-qcheck-doc-0.16-2.fc33.rvre2.noarch.rpm (info) (download)
riscv64
	ocaml-qcheck-0.16-2.fc33.rvre2.riscv64.rpm (info) (download)
	ocaml-qcheck-devel-0.16-2.fc33.rvre2.riscv64.rpm (info) (download)
	ocaml-qcheck-debuginfo-0.16-2.fc33.rvre2.riscv64.rpm (info) (download)
	ocaml-qcheck-debugsource-0.16-2.fc33.rvre2.riscv64.rpm (info) (download)

Logs

riscv64
	build.log
	hw_info.log
	mock_output.log
	noarch_rpmdiff.json
	root.log
	state.log

Changelog

* Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.16-2.rvre2 - Rebuilt for Fedora RISCV, no changes * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.16-2.rvre1 - Rebuilt for Fedora RISCV, no changes * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.16-2.rvre0 - Rebuilt for Fedora RISCV, no changes * 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

Main Site Links:

Information for build ocaml-qcheck-0.16-2.fc33.rvre2