ghc-smallcheck-1.2.1-4.fc37 | Build Info

Information for build ghc-smallcheck-1.2.1-4.fc37

215626

Package Name

ghc-smallcheck

Version

1.2.1

Release

4.fc37

Epoch

Source

git+https://src.fedoraproject.org/rpms/ghc-smallcheck.git#7e52929e2b9360b8606a087b4e1c97311822b695

Summary

A property-based testing library

Description

SmallCheck is a testing library that allows to verify properties for all test cases up to some depth. The test cases are generated automatically by SmallCheck.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Wed, 02 Nov 2022 05:50:51 UTC

Completed

Wed, 02 Nov 2022 07:31:38 UTC

Task

build (f37, /rpms/ghc-smallcheck.git:7e52929e2b9360b8606a087b4e1c97311822b695)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-smallcheck.git#7e52929e2b9360b8606a087b4e1c97311822b695'}}

Tags

f37

f38

RPMs

src
	ghc-smallcheck-1.2.1-4.fc37.src.rpm (info) (download)
noarch
	ghc-smallcheck-doc-1.2.1-4.fc37.noarch.rpm (info) (download)
riscv64
	ghc-smallcheck-1.2.1-4.fc37.riscv64.rpm (info) (download)
	ghc-smallcheck-devel-1.2.1-4.fc37.riscv64.rpm (info) (download)
	ghc-smallcheck-prof-1.2.1-4.fc37.riscv64.rpm (info) (download)

Logs

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

Changelog

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

Main Site Links:

Information for build ghc-smallcheck-1.2.1-4.fc37