Tue, 17 Dec 2024 03:35:33 UTC | login

Information for RPM ghc-lazysmallcheck-0.6-20.fc30.src.rpm

ID328172
Nameghc-lazysmallcheck
Version0.6
Release20.fc30
Epoch
Archsrc
SummaryA library for demand-driven testing of Haskell programs
DescriptionLazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to ``eager'' input generation as in SmallCheck, Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth.
Build Time2019-02-21 12:40:49 GMT
Size25.56 KB
5eb581451719c0ca443a76827e28a45d
LicenseBSD
Buildrootf30-build-42846-24731
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ghc-Cabal-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 2 of 2
Name ascending sort Size
ghc-lazysmallcheck.spec4.33 KB
lazysmallcheck-0.6.tar.gz16.47 KB
Component of No Buildroots