Sun, 15 Dec 2024 14:33:24 UTC | login

Information for RPM ghc-dec-0.0.4-4.fc37.src.rpm

ID863306
Nameghc-dec
Version0.0.4
Release4.fc37
Epoch
Archsrc
SummaryDecidable propositions
DescriptionThis package provides a 'Dec' type. ' type Neg a = a -> Void data Dec a = Yes a | No (Neg a) '.
Build Time2022-10-27 18:37:05 GMT
Size14.92 KB
6e29488cf1e935d1ebf3fdb41c5887ae
LicenseBSD
Buildrootf37-build-659839-73746
Provides
ghc-dec = 0.0.4-4.fc37
ghc-dec-debuginfo = 0.0.4-4.fc37
ghc-dec-debugsource = 0.0.4-4.fc37
ghc-dec-devel = 0.0.4-4.fc37
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ghc-Cabal-devel
ghc-base-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 3 of 3
Name ascending sort Size
dec-0.0.4.cabal1.37 KB
dec-0.0.4.tar.gz2.72 KB
ghc-dec.spec3.12 KB
Component of No Buildroots