Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Thu, 11 Jul 2024 07:38:33 UTC |
login
Information for RPM
ghc-logict-0.8.0.0-4.fc40.src.rpm
ID
1098830
Name
ghc-logict
Version
0.8.0.0
Release
4.fc40
Epoch
Arch
src
Summary
A backtracking logic-programming monad
Description
A 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>.
Build Time
2023-11-19 03:24:54 GMT
Size
35.04 KB
SIGMD5
03300f9bbece5e0525a624311f987148
License
BSD-3-Clause
Buildroot
f40-build-743594-111265
Provides
ghc-logict = 0.8.0.0-4.fc40
ghc-logict-debuginfo = 0.8.0.0-4.fc40
ghc-logict-debugsource = 0.8.0.0-4.fc40
ghc-logict-devel = 0.8.0.0-4.fc40
ghc-logict-prof = 0.8.0.0-4.fc40
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
ghc-Cabal-devel
ghc-async-devel
ghc-base-devel
ghc-base-prof
ghc-mtl-devel
ghc-mtl-prof
ghc-rpm-macros
ghc-tasty-devel
ghc-tasty-hunit-devel
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends
No Recommends
Suggests
No Suggests
Supplements
No Supplements
Enhances
No Enhances
Files
1 through 2 of 2
Name
Size
ghc-logict.spec
8.11 KB
logict-0.8.0.0.tar.gz
17.02 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.