Tue, 09 Jun 2026 08:26:24 CST | login

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

ID405002
Buildghc-djinn-lib-0.0.1.4-2.oc9
Nameghc-djinn-lib
Version0.0.1.4
Release2.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 Time2025-09-01 15:08:17 GMT
Size24.77 KB
7da0a9d605022cac1c78682b8856c0fd
LicenseBSD-3-Clause
Buildrootdist-oc9-epol-build-194798-80406
Provides
ghc-djinn-lib = 0.0.1.4-2.oc9
ghc-djinn-lib-debuginfo = 0.0.1.4-2.oc9
ghc-djinn-lib-debugsource = 0.0.1.4-2.oc9
ghc-djinn-lib-devel = 0.0.1.4-2.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
numactl-devel
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.32 KB
Component of No Buildroots