Sun, 15 Dec 2024 22:39:31 UTC | login

Information for RPM ghc-dec-0.0.5-5.fc40.src.rpm

ID1179924
Nameghc-dec
Version0.0.5
Release5.fc40
Epoch
Archsrc
SummaryDecidable propositions
DescriptionThis package provides a 'Dec' type. ' type Neg a = a -> Void data Dec a = Yes a | No (Neg a) '.
Build Time2024-02-15 09:33:05 GMT
Size23.33 KB
d56f9900c41739fdec8fe229437d53db
LicenseBSD-3-Clause
Buildrootf40-build-776369-128763
Provides
ghc-dec = 0.0.5-5.fc40
ghc-dec-debuginfo = 0.0.5-5.fc40
ghc-dec-debugsource = 0.0.5-5.fc40
ghc-dec-devel = 0.0.5-5.fc40
ghc-dec-prof = 0.0.5-5.fc40
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ghc-Cabal-devel
ghc-base-devel
ghc-base-prof
ghc-rpm-macros-extra
ghc-tagged-devel
ghc-tagged-prof
ghc-transformers-devel
ghc-transformers-prof
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 4 of 4
Name ascending sort Size
boring-0.2.1.tar.gz5.54 KB
dec-0.0.5.cabal1.43 KB
dec-0.0.5.tar.gz3.15 KB
ghc-dec.spec4.54 KB
Component of No Buildroots