Fri, 30 Oct 2026 21:18:55 CST | login

Information for RPM ghc-djinn-lib-0.0.1.4-1.oc9.src.rpm

ID244528
Buildghc-djinn-lib-0.0.1.4-1.oc9
Nameghc-djinn-lib
Version0.0.1.4
Release1.oc9
Epoch
Archsrc
DraftFalse
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 Time2024-09-20 14:47:24 GMT
Size24.48 KB
6ffc5ae5d33f3fb4a864c9a6b7bdeb81
LicenseBSD-3-Clause
Buildrootdist-oc9-epol-build-101739-65881
Provides
ghc-djinn-lib = 0.0.1.4-1.oc9
ghc-djinn-lib-debuginfo = 0.0.1.4-1.oc9
ghc-djinn-lib-debugsource = 0.0.1.4-1.oc9
ghc-djinn-lib-devel = 0.0.1.4-1.oc9
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ghc-Cabal-devel
ghc-base-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 2 of 2
Name ascending sort Size
djinn-lib-0.0.1.4.tar.gz14.44 KB
ghc-djinn-lib.spec2.20 KB
Component of No Buildroots