Sun, 05 Apr 2020 14:43:55 UTC

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

ID16870892
Nameghc-djinn-lib
Version0.0.1.3
Release5.fc30
Epoch
Archsrc
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:29:44 GMT
Size23,868
68b18c63ef00cbfd8feddcadcd1b93fa
LicenseBSD
Buildrootf30-ghc-15398631-1106383
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ghc-Cabal-devel
ghc-containers-devel
ghc-mtl-devel
ghc-pretty-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 3 of 3
Name ascending sort Size
djinn-lib-0.0.1.3.cabal979
djinn-lib-0.0.1.3.tar.gz14,791
ghc-djinn-lib.spec2,666
Component of No Buildroots