Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM ghc-djinn-lib-0.0.1.3-5.fc31.src.rpm

ID	387458
Name	ghc-djinn-lib
Version	0.0.1.3
Release	5.fc31
Epoch
Arch	src
Summary	Generate Haskell code from a type
Description	Djinn 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 Time	2019-07-26 05:55:08 GMT
Size	23.31 KB
SIGMD5	4926c760214b348432e59e60edf90ba8
License	BSD
Buildroot	f31-build-54632-28016
Provides	No Provides
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	ghc-Cabal-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 3 of 3 Name Size djinn-lib-0.0.1.3.cabal 979.00 B djinn-lib-0.0.1.3.tar.gz 14.44 KB ghc-djinn-lib.spec 2.60 KB
Component of	No Buildroots