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

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

44426

Package Name

ghc-lazysmallcheck

Version

0.6

Release

3.oc9

Epoch

Draft

False

Source

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

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

zeyouliu

State

complete

Volume

DEFAULT

Started

Sun, 21 Sep 2025 21:55:38 CST

Completed

Sun, 21 Sep 2025 22:01:54 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-3.oc9.src.rpm (info) (download)
aarch64
	ghc-lazysmallcheck-0.6-3.oc9.aarch64.rpm (info) (download)
	ghc-lazysmallcheck-devel-0.6-3.oc9.aarch64.rpm (info) (download)
loongarch64
	ghc-lazysmallcheck-0.6-3.oc9.loongarch64.rpm (info) (download)
	ghc-lazysmallcheck-devel-0.6-3.oc9.loongarch64.rpm (info) (download)
noarch
	ghc-lazysmallcheck-doc-0.6-3.oc9.noarch.rpm (info) (download)
x86_64
	ghc-lazysmallcheck-0.6-3.oc9.x86_64.rpm (info) (download)
	ghc-lazysmallcheck-devel-0.6-3.oc9.x86_64.rpm (info) (download)

Logs

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

Changelog

* Sun Sep 21 2025 ocs-bot <ocs-bot@opencloudos.tech> - 0.6-3 - [Type] other - [DESC] Rebuild for ghc 9.8.4 * 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-3.oc9