ghc-smallcheck-1.1.7-3.fc33 | Build Info

Information for build ghc-smallcheck-1.1.7-3.fc33

178390

Package Name

ghc-smallcheck

Version

1.1.7

Release

3.fc33

Epoch

Source

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

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

Thu, 13 Aug 2020 15:56:32 UTC

Completed

Thu, 13 Aug 2020 17:24:37 UTC

Task

build (f33, /rpms/ghc-smallcheck.git:c24f2d57c522ee91ce49b0b39e652e149f502879)

Extra

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

Tags

f33

f37

f38

RPMs

src
	ghc-smallcheck-1.1.7-3.fc33.src.rpm (info) (download)
noarch
	ghc-smallcheck-doc-1.1.7-3.fc33.noarch.rpm (info) (download)
riscv64
	ghc-smallcheck-1.1.7-3.fc33.riscv64.rpm (info) (download)
	ghc-smallcheck-devel-1.1.7-3.fc33.riscv64.rpm (info) (download)
	ghc-smallcheck-prof-1.1.7-3.fc33.riscv64.rpm (info) (download)

Logs

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

Changelog

* 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 * Fri Jun 19 2020 Jens Petersen <petersen@redhat.com> - 1.1.7-1 - update to 1.1.7 * Wed Feb 19 2020 Jens Petersen <petersen@redhat.com> - 1.1.5-7 - refresh to cabal-rpm-2.0.2 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.5-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Fri Aug 02 2019 Jens Petersen <petersen@redhat.com> - 1.1.5-5 - add doc and prof subpackages (cabal-rpm-1.0.0) * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.5-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 1.1.5-3 - refresh to cabal-rpm-0.13 * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.5-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

Main Site Links:

Information for build ghc-smallcheck-1.1.7-3.fc33