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

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

156046

Package Name

ghc-QuickCheck

Version

2.13.2

Release

1.fc33

Epoch

Source

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

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, 19 Apr 2020 07:48:14 UTC

Completed

Sun, 19 Apr 2020 10:01:13 UTC

Task

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

Extra

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

Tags

f33

RPMs

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

Logs

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

Changelog

* 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 * Sat Jul 28 2018 Jens Petersen <petersen@redhat.com> - 2.10.1-4 - rebuild * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.10.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild

Main Site Links:

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