ghc-dec-0.0.5-2.oc9 | Build Info

ID	35986
Package Name	ghc-dec
Version	0.0.5
Release	2.oc9
Epoch
Draft	False
Source	git+https://gitee.com/opencloudos-stream/ghc-dec.git?.#a6f24d4518aff18275cf0c9a959ea901480894da
Summary	Decidable propositions
Description	This package provides a 'Dec' type. ' type Neg a = a -> Void data Dec a = Yes a \| No (Neg a) '.
Built by	bbrucezhang
State	failed
Volume	DEFAULT
Started	Wed, 10 Sep 2025 06:50:09 CST
Completed	Wed, 10 Sep 2025 06:53:38 CST
Task	build (dist-oc9-epol, /opencloudos-stream/ghc-dec.git:.:origin/master)
Extra	{'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/ghc-dec.git?.#origin/master'}}
Tags	No tags
RPMs	No RPMs
Changelog	* Thu Jun 05 2025 bbrucezhang <bbrucezhang@tencent.com> - 0.0.5-2 - Rebuilt for loongarch64 * Thu Aug 08 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 0.0.5-1 - initial build