Mon, 08 Jul 2024 22:38:29 UTC | login

Information for build ghc-QuickCheck-2.10.1-5.fc30

ID87212
Package Nameghc-QuickCheck
Version2.10.1
Release5.fc30
Epoch
SummaryAutomatic testing of Haskell programs
DescriptionQuickCheck 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 defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators.
Built bydavidlt
State complete
Volume DEFAULT
StartedSat, 23 Feb 2019 23:42:23 UTC
CompletedSun, 24 Feb 2019 01:34:14 UTC
Taskbuild (f30-candidate, ghc-QuickCheck-2.10.1-5.fc30.src.rpm)
Tags
f30
RPMs
src
ghc-QuickCheck-2.10.1-5.fc30.src.rpm (info) (download)
riscv64
ghc-QuickCheck-2.10.1-5.fc30.riscv64.rpm (info) (download)
ghc-QuickCheck-devel-2.10.1-5.fc30.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * 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 * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.10.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Wed Jan 24 2018 Jens Petersen <petersen@redhat.com> - 2.9.2-1 - update to 2.10.1 * Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild