ghc-QuickCheck-2.14.2-8.fc38 | Build Info

Information for build ghc-QuickCheck-2.14.2-8.fc38

234983

Package Name

ghc-QuickCheck

Version

2.14.2

Release

8.fc38

Epoch

Source

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

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

Mon, 06 Mar 2023 12:04:05 UTC

Completed

Mon, 06 Mar 2023 13:24:15 UTC

Task

build (f38, /rpms/ghc-QuickCheck.git:b7d80d30fe93629b5f09ee2ed6de604caac54da8)

Extra

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

Tags

f38

RPMs

src
	ghc-QuickCheck-2.14.2-8.fc38.src.rpm (info) (download)
noarch
	ghc-QuickCheck-doc-2.14.2-8.fc38.noarch.rpm (info) (download)
riscv64
	ghc-QuickCheck-2.14.2-8.fc38.riscv64.rpm (info) (download)
	ghc-QuickCheck-devel-2.14.2-8.fc38.riscv64.rpm (info) (download)
	ghc-QuickCheck-prof-2.14.2-8.fc38.riscv64.rpm (info) (download)

Logs

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

Changelog

* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.14.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 2.14.2-3 - rebuild * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.14.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 2.14.2-1 - update to 2.14.2 * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.13.2-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.13.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.13.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Main Site Links:

Information for build ghc-QuickCheck-2.14.2-8.fc38