Wed, 12 Jun 2024 16:50:21 UTC | login

Information for RPM ghc-djinn-lib-0.0.1.4-6.fc40.src.rpm

ID1096508
Nameghc-djinn-lib
Version0.0.1.4
Release6.fc40
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 Time2023-11-17 02:14:56 GMT
Size29.46 KB
50bce4628af77f803d93feccca05a054
LicenseBSD-3-Clause
Buildrootf40-build-742127-110518
Provides
ghc-djinn-lib = 0.0.1.4-6.fc40
ghc-djinn-lib-debuginfo = 0.0.1.4-6.fc40
ghc-djinn-lib-debugsource = 0.0.1.4-6.fc40
ghc-djinn-lib-devel = 0.0.1.4-6.fc40
ghc-djinn-lib-prof = 0.0.1.4-6.fc40
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.spec5.48 KB
Component of No Buildroots