ghc-lazysmallcheck-0.6-2.oc9 | Build Info

Information for build ghc-lazysmallcheck-0.6-2.oc9

36127

Package Name

ghc-lazysmallcheck

Version

0.6

Release

2.oc9

Epoch

Draft

False

Source

git+https://gitee.com/opencloudos-stream/ghc-lazysmallcheck.git?.#8fff30de7c93ec758e0c2e867f5723b62f3f24fe

Summary

A library for demand-driven testing of Haskell programs

Description

Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to ``eager'' input generation as in SmallCheck, Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth.

Built by

epol-bot

State

complete

Volume

DEFAULT

Started

Tue, 02 Sep 2025 12:51:59 CST

Completed

Tue, 02 Sep 2025 13:02:16 CST

Task

build (dist-oc9-epol, /opencloudos-stream/ghc-lazysmallcheck.git:.:origin/master)

Extra

{'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/ghc-lazysmallcheck.git?.#origin/master'}}

Tags

dist-oc9-epol

dist-oc9-epol-compose

epol9-test-compose

RPMs

src
	ghc-lazysmallcheck-0.6-2.oc9.src.rpm (info) (download)
aarch64
	ghc-lazysmallcheck-0.6-2.oc9.aarch64.rpm (info) (download)
	ghc-lazysmallcheck-devel-0.6-2.oc9.aarch64.rpm (info) (download)
loongarch64
	ghc-lazysmallcheck-0.6-2.oc9.loongarch64.rpm (info) (download)
	ghc-lazysmallcheck-devel-0.6-2.oc9.loongarch64.rpm (info) (download)
noarch
	ghc-lazysmallcheck-doc-0.6-2.oc9.noarch.rpm (info) (download)
x86_64
	ghc-lazysmallcheck-0.6-2.oc9.x86_64.rpm (info) (download)
	ghc-lazysmallcheck-devel-0.6-2.oc9.x86_64.rpm (info) (download)

Logs

x86_64
	build.log
	mock_output.log
	dnf.rpm.log
	installed_pkgs.log
	hw_info.log
	state.log
	dnf.log
	mock_config.log
	dnf.librepo.log
	root.log
	noarch_rpmdiff.json
aarch64
	mock_config.log
	installed_pkgs.log
	dnf.librepo.log
	mock_output.log
	state.log
	root.log
	build.log
	dnf.rpm.log
	hw_info.log
	dnf.log
	noarch_rpmdiff.json
loongarch64
	state.log
	build.log
	root.log
	hw_info.log
	installed_pkgs.log
	mock_output.log
	noarch_rpmdiff.json

Changelog

* Thu Jun 05 2025 bbrucezhang <bbrucezhang@tencent.com> - 0.6-2 - Rebuilt for loongarch64 * Thu Aug 08 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 0.6-1 - initial build

Main Site Links:

Information for build ghc-lazysmallcheck-0.6-2.oc9