Thu, 22 Jan 2026 10:04:05 CST | login

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

ID14514
Package Nameghc-logict
Version0.8.0.0
Release1.ocs23
Epoch
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 bybbrucezhang
State complete
Volume DEFAULT
StartedFri, 09 Aug 2024 10:43:56 CST
CompletedFri, 09 Aug 2024 10:46:58 CST
Taskbuild (dist-ocs23-epol9, /opencloudos-stream/ghc-logict.git:.:origin/master)
Extra{'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/ghc-logict.git?.#origin/master'}}
Tags
dist-ocs23
dist-ocs23-epol9
epol9-test-compose
RPMs
src
ghc-logict-0.8.0.0-1.ocs23.src.rpm (info) (download)
aarch64
ghc-logict-0.8.0.0-1.ocs23.aarch64.rpm (info) (download)
ghc-logict-devel-0.8.0.0-1.ocs23.aarch64.rpm (info) (download)
noarch
ghc-logict-doc-0.8.0.0-1.ocs23.noarch.rpm (info) (download)
x86_64
ghc-logict-0.8.0.0-1.ocs23.x86_64.rpm (info) (download)
ghc-logict-devel-0.8.0.0-1.ocs23.x86_64.rpm (info) (download)
Logs
x86_64
installed_pkgs.log
build.log
state.log
hw_info.log
root.log
mock_output.log
noarch_rpmdiff.json
aarch64
root.log
state.log
installed_pkgs.log
hw_info.log
build.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