Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Sat, 05 Oct 2024 14:46:24 UTC |
login
Information for RPM
ghc-logict-0.6.0.2-13.fc31.src.rpm
ID
387366
Name
ghc-logict
Version
0.6.0.2
Release
13.fc31
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
2019-07-26 06:02:46 GMT
Size
14.16 KB
SIGMD5
d56a478f2c764b39f410a729b83b5361
License
BSD
Buildroot
f31-build-54638-28016
Provides
No Provides
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
ghc-Cabal-devel
ghc-mtl-devel
ghc-rpm-macros
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
5.00 KB
logict-0.6.0.2.tar.gz
5.24 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.