Tue, 04 Mar 2025 02:25:59 UTC | login

Information for build ghc-QuickCheck-2.12.6.1-1.0.riscv64.fc30

ID87350
Package Nameghc-QuickCheck
Version2.12.6.1
Release1.0.riscv64.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
StartedTue, 26 Feb 2019 06:20:25 UTC
CompletedTue, 26 Feb 2019 08:00:29 UTC
Taskbuild (f30-candidate, ghc-QuickCheck-2.12.6.1-1.0.riscv64.fc30.src.rpm)
Tags
f30
f31
f32
f33
RPMs
src
ghc-QuickCheck-2.12.6.1-1.0.riscv64.fc30.src.rpm (info) (download)
riscv64
ghc-QuickCheck-2.12.6.1-1.0.riscv64.fc30.riscv64.rpm (info) (download)
ghc-QuickCheck-devel-2.12.6.1-1.0.riscv64.fc30.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Mon Feb 25 2019 David Abdurachmanov <david.abdurachmanov@gmail.com> - 2.12.6.1-1.0.riscv64 - Update version to 2.12.6.1 * 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