ghc-smallcheck-1.2.1.1-3.fc40 | Build Info

Information for build ghc-smallcheck-1.2.1.1-3.fc40

281719

Package Name

ghc-smallcheck

Version

1.2.1.1

Release

3.fc40

Epoch

Source

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

Summary

A property-based testing library

Description

As of 2023, this library is largely obsolete: arbitrary test generators with shrinking such as [falsify](https://hackage.haskell.org/package/falsify) offer much better user experience. 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

Sat, 17 Feb 2024 06:19:38 UTC

Completed

Sat, 17 Feb 2024 06:38:19 UTC

Task

build (f40, /rpms/ghc-smallcheck.git:40a43b14d58b318dabce8d738ecd597a9a78d982)

Extra

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

Tags

f40

f41

RPMs

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

Logs

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

Changelog

* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.1.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.1.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jul 23 2023 Jens Petersen <petersen@redhat.com> - 1.2.1.1-1 - https://hackage.haskell.org/package/smallcheck-1.2.1.1/changelog * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.1-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Feb 16 2023 Jens Petersen <petersen@redhat.com> - 1.2.1-5 - refresh to cabal-rpm-2.1.0 with SPDX migration * 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

Main Site Links:

Information for build ghc-smallcheck-1.2.1.1-3.fc40