Tue, 07 Apr 2020 14:04:27 UTC

Information for RPM ghc-djinn-lib-0.0.1.3-5.fc30.i686.rpm

ID16870900
Nameghc-djinn-lib
Version0.0.1.3
Release5.fc30
Epoch
Archi686
SummaryGenerate Haskell code from a type
DescriptionDjinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn sources.
Build Time2019-03-01 15:30:25 GMT
Size116,268
34f27594e487f9c2fe86e2be1f346ef3
LicenseBSD
Buildrootf30-ghc-15398634-1106383
Provides
ghc-djinn-lib = 0.0.1.3-5.fc30
ghc-djinn-lib(x86-32) = 0.0.1.3-5.fc30
libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB-ghc8.4.4.so
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libHSbase-4.11.1.0-ghc8.4.4.so
libHScontainers-0.5.11.0-ghc8.4.4.so
libHSghc-prim-0.5.2.0-ghc8.4.4.so
libHSinteger-gmp-1.0.2.0-ghc8.4.4.so
libHSpretty-1.1.3.6-ghc8.4.4.so
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)
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
/usr/lib/.build-id/450
/usr/lib/.build-id/45/dbadef412e0464b298b193ae1956fd23f1179677
/usr/lib/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB-ghc8.4.4.so572,036
/usr/share/licenses/ghc-djinn-lib0
/usr/share/licenses/ghc-djinn-lib/LICENSE1,614
Component of
1 through 2 of 2
Buildroot descending sort Created State
f31-build-16981797-1223198 2019-07-25 03:39:31 expired
f30-ghc-15398722-1106454 2019-03-01 15:42:12 expired