ocaml-qcheck-0.10-2.fc31 | Build Info

Information for build ocaml-qcheck-0.10-2.fc31

122866

Package Name

ocaml-qcheck

Version

0.10

Release

2.fc31

Epoch

Source

git+https://src.fedoraproject.org/rpms/ocaml-qcheck.git#4d4262dd188a7a166453bf98a3d90d150c4e8983

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

Sat, 10 Aug 2019 17:46:58 UTC

Completed

Sat, 10 Aug 2019 18:41:20 UTC

Task

build (f31-candidate, /rpms/ocaml-qcheck.git:4d4262dd188a7a166453bf98a3d90d150c4e8983)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-qcheck.git#4d4262dd188a7a166453bf98a3d90d150c4e8983'}}

Tags

f31

f32

f33

RPMs

src
	ocaml-qcheck-0.10-2.fc31.src.rpm (info) (download)
riscv64
	ocaml-qcheck-0.10-2.fc31.riscv64.rpm (info) (download)
	ocaml-qcheck-devel-0.10-2.fc31.riscv64.rpm (info) (download)
	ocaml-qcheck-debuginfo-0.10-2.fc31.riscv64.rpm (info) (download)
	ocaml-qcheck-debugsource-0.10-2.fc31.riscv64.rpm (info) (download)

Logs

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

Changelog

* 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 * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 0.8-5 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.8-4 - OCaml 4.07.0-rc1 rebuild. * Mon May 14 2018 Andy Li <andy@onthewings.net> - 0.8-3 - Rebuilt against ounit. * Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Mon Feb 05 2018 Andy Li <andy@onthewings.net> - 0.8-1 - New upstream release. (RHBZ#1541681) - Enable debug package. * Sat Dec 02 2017 Richard W.M. Jones <rjones@redhat.com> - 0.7-2 - OCaml 4.06.0 rebuild. * Mon Nov 20 2017 Andy Li <andy@onthewings.net> - 0.7-1 - Initial RPM release.

Main Site Links:

Information for build ocaml-qcheck-0.10-2.fc31