Fri, 23 Jan 2026 04:12:10 CST | login

Information for build ghc-logict-0.8.0.0-1.oc9

ID29234
Package Nameghc-logict
Version0.8.0.0
Release1.oc9
Epoch
DraftFalse
Sourcegit+https://gitee.com/opencloudos-stream/ghc-logict.git?.#46d646692e513fc8f675978eceb57ec1ff48f2ad
SummaryA backtracking logic-programming monad
DescriptionA continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers": <http://okmij.org/ftp/papers/LogicT.pdf>.
Built byfanjunkong
State complete
Volume DEFAULT
StartedFri, 20 Sep 2024 22:59:32 CST
CompletedFri, 20 Sep 2024 23:04:09 CST
Taskbuild (dist-oc9-epol, /opencloudos-stream/ghc-logict.git:.:origin/master)
Extra{'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/ghc-logict.git?.#origin/master'}}
Tags
dist-oc9-epol
dist-oc9-epol-compose
epol9-test-compose
RPMs
src
ghc-logict-0.8.0.0-1.oc9.src.rpm (info) (download)
aarch64
ghc-logict-0.8.0.0-1.oc9.aarch64.rpm (info) (download)
ghc-logict-devel-0.8.0.0-1.oc9.aarch64.rpm (info) (download)
noarch
ghc-logict-doc-0.8.0.0-1.oc9.noarch.rpm (info) (download)
x86_64
ghc-logict-0.8.0.0-1.oc9.x86_64.rpm (info) (download)
ghc-logict-devel-0.8.0.0-1.oc9.x86_64.rpm (info) (download)
Logs
x86_64
root.log
build.log
installed_pkgs.log
state.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
aarch64
state.log
installed_pkgs.log
build.log
root.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
Changelog * Thu Aug 08 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 0.8.0.0-1 - initial build