Thu, 27 Jun 2024 09:33:13 UTC | login

Information for RPM ghc-djinn-lib-0.0.1.3-11.fc33.src.rpm

ID661223
Nameghc-djinn-lib
Version0.0.1.3
Release11.fc33
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 Time2020-08-13 10:55:53 GMT
Size24.27 KB
86211d78198f99fe60423dbdcff9d6c2
LicenseBSD
Buildrootf33-build-287305-53791
Provides
ghc-djinn-lib = 0.0.1.3-11.fc33
ghc-djinn-lib-debuginfo = 0.0.1.3-11.fc33
ghc-djinn-lib-debugsource = 0.0.1.3-11.fc33
ghc-djinn-lib-devel = 0.0.1.3-11.fc33
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ghc-Cabal-devel
ghc-base-prof
ghc-containers-prof
ghc-mtl-prof
ghc-pretty-prof
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.00 B
djinn-lib-0.0.1.3.tar.gz14.44 KB
ghc-djinn-lib.spec3.96 KB
Component of No Buildroots