ghc-QuickCheck-2.13.2-3.fc33 | Build Info

Information for build ghc-QuickCheck-2.13.2-3.fc33

185360

Package Name

ghc-QuickCheck

Version

2.13.2

Release

3.fc33

Epoch

Source

git+https://src.fedoraproject.org/rpms/ghc-QuickCheck.git#588a7e87de522202835de48bc653cb864eb68d51

Summary

Automatic testing of Haskell programs

Description

QuickCheck is a library for random testing of program properties. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators provided by QuickCheck. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Sun, 16 Aug 2020 01:23:25 UTC

Completed

Sun, 16 Aug 2020 06:14:02 UTC

Task

build (f33, /rpms/ghc-QuickCheck.git:588a7e87de522202835de48bc653cb864eb68d51)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-QuickCheck.git#588a7e87de522202835de48bc653cb864eb68d51'}}

Tags

f33

f37

f38

RPMs

src
	ghc-QuickCheck-2.13.2-3.fc33.src.rpm (info) (download)
noarch
	ghc-QuickCheck-doc-2.13.2-3.fc33.noarch.rpm (info) (download)
	ghc-splitmix-doc-0.0.5-3.fc33.noarch.rpm (info) (download)
riscv64
	ghc-QuickCheck-2.13.2-3.fc33.riscv64.rpm (info) (download)
	ghc-QuickCheck-devel-2.13.2-3.fc33.riscv64.rpm (info) (download)
	ghc-QuickCheck-prof-2.13.2-3.fc33.riscv64.rpm (info) (download)
	ghc-splitmix-0.0.5-3.fc33.riscv64.rpm (info) (download)
	ghc-splitmix-devel-0.0.5-3.fc33.riscv64.rpm (info) (download)
	ghc-splitmix-prof-0.0.5-3.fc33.riscv64.rpm (info) (download)

Logs

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

Changelog

* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.13.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Wed Jun 17 2020 Jens Petersen <petersen@redhat.com> - 2.13.2-2 - update splitmix to 0.0.5 * Sun Feb 09 2020 Jens Petersen <petersen@redhat.com> - 2.13.2-1 - update to 2.13.2 - subpackage splitmix * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.12.6.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 2.12.6.1-1 - update to 2.12.6.1 * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.11.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Feb 21 2019 Jens Petersen <petersen@redhat.com> - 2.11.3-1 - update to 2.11.3 * Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 2.10.1-6 - refresh to cabal-rpm-0.13 * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.10.1-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

Main Site Links:

Information for build ghc-QuickCheck-2.13.2-3.fc33