SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ghc-logict rpm build for : Fedora 28. For other distributions click ghc-logict.

Name : ghc-logict
Version : 0.6.0.2 Vendor : Fedora Project
Release : 9.fc28 Date : 2018-02-07 13:50:08
Group : Unspecified Source RPM : ghc-logict-0.6.0.2-9.fc28.src.rpm
Size : 0.13 MB
Packager : Fedora Project
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>.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/28/Everything/x86_64/os/Packages/g

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-logict-0.6.0.2-9.fc28.x86_64.rpm
     

Provides :
ghc-logict
ghc-logict(x86-64)
libHSlogict-0.6.0.2-LloWd77HrlqnDbOXNX0oI-ghc8.2.2.so()(64bit)

Requires :
libHSbase-4.10.1.0-ghc8.2.2.so()(64bit)
libHSghc-prim-0.5.1.1-ghc8.2.2.so()(64bit)
libHSinteger-gmp-1.0.1.0-ghc8.2.2.so()(64bit)
libHSmtl-2.2.1-DscMMmDQUE6GBfOSl4qMUH-ghc8.2.2.so()(64bit)
libHStransformers-0.5.2.0-ghc8.2.2.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/eb
/usr/lib/.build-id/eb/a7b19437f97bede12649fc0e0f75752aa642ce
/usr/lib64/libHSlogict-0.6.0.2-LloWd77HrlqnDbOXNX0oI-ghc8.2.2.so
/usr/share/licenses/ghc-logict
/usr/share/licenses/ghc-logict/LICENSE

 
ICM