Mon, 08 Jul 2024 12:17:50 UTC | login

Information for RPM ghc-logict-0.7.0.2-1.fc33.riscv64.rpm

ID594440
Nameghc-logict
Version0.7.0.2
Release1.fc33
Epoch
Archriscv64
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>.
Build Time2020-04-19 18:43:22 GMT
Size71.15 KB
3befa41c6ccc0d31908f153c9d4cd458
LicenseBSD
Buildrootf33-build-186372-45808
Provides
ghc-logict = 0.7.0.2-1.fc33
ghc-logict(riscv-64) = 0.7.0.2-1.fc33
libHSlogict-0.7.0.2-DMoHn2JX42Gs4OjWRSuuR-ghc8.6.5.so()(64bit)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libHSbase-4.12.0.0-ghc8.6.5.so()(64bit)
libHSghc-prim-0.5.3-ghc8.6.5.so()(64bit)
libHSmtl-2.2.2-ghc8.6.5.so()(64bit)
libHStransformers-0.5.6.2-ghc8.6.5.so()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 6 of 6
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/3f0.00 B
/usr/lib/.build-id/3f/4aba33844cfda34f3cc2c8829ad80c44907dfb75.00 B
/usr/lib64/libHSlogict-0.7.0.2-DMoHn2JX42Gs4OjWRSuuR-ghc8.6.5.so327.94 KB
/usr/share/licenses/ghc-logict0.00 B
/usr/share/licenses/ghc-logict/LICENSE1.46 KB
Component of
1 through 2 of 2
Buildroot descending sort Created State
f33-build-289204-54268 2020-08-13 15:56:41 expired
f33-build-186993-45860 2020-04-19 19:49:22 expired