Thu, 14 Nov 2024 16:31:10 UTC | login

Information for RPM ghc-djinn-lib-0.0.1.4-11.fc41.src.rpm

ID1424113
Nameghc-djinn-lib
Version0.0.1.4
Release11.fc41
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 Time2024-08-11 08:27:14 GMT
Size29.37 KB
a1717414707b12e16d6b8d27f8fd427b
LicenseBSD-3-Clause
Buildrootf41-build-837647-159296
Provides
ghc-djinn-lib = 0.0.1.4-11.fc41
ghc-djinn-lib-devel = 0.0.1.4-11.fc41
ghc-djinn-lib-prof = 0.0.1.4-11.fc41
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ghc-Cabal-devel
ghc-base-devel
ghc-base-prof
ghc-containers-devel
ghc-containers-prof
ghc-mtl-devel
ghc-mtl-prof
ghc-pretty-devel
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 2 of 2
Name ascending sort Size
djinn-lib-0.0.1.4.tar.gz14.44 KB
ghc-djinn-lib.spec6.11 KB
Component of No Buildroots