Tue, 17 Dec 2024 03:52:08 UTC | login

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

ID328173
Nameghc-lazysmallcheck
Version0.6
Release20.fc30
Epoch
Archriscv64
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 14:35:49 GMT
Size54.73 KB
156b4ab3bd12ed7d472fdc9989b649a8
LicenseBSD
Buildrootf30-build-42846-24731
Provides
ghc-lazysmallcheck = 0.6-20.fc30
ghc-lazysmallcheck(riscv-64) = 0.6-20.fc30
libHSlazysmallcheck-0.6-1ddcqoKD9zD6AAUzjJzp0-ghc8.4.4.so()(64bit)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libHSbase-4.11.1.0-ghc8.4.4.so()(64bit)
libHSghc-prim-0.5.2.0-ghc8.4.4.so()(64bit)
libHSinteger-gmp-1.0.2.0-ghc8.4.4.so()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 6 of 6
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/f80.00 B
/usr/lib/.build-id/f8/ea35e245d2e8aa142814a3d225e51bfe0c073379.00 B
/usr/lib64/libHSlazysmallcheck-0.6-1ddcqoKD9zD6AAUzjJzp0-ghc8.4.4.so307.77 KB
/usr/share/licenses/ghc-lazysmallcheck0.00 B
/usr/share/licenses/ghc-lazysmallcheck/LICENSE1.49 KB
Component of
1 through 4 of 4
Buildroot descending sort Created State
f31-build-54058-27926 2019-07-26 07:34:12 expired
f30-build-43150-25010 2019-02-24 13:23:47 expired
f30-build-43149-25010 2019-02-24 13:23:36 expired
f30-build-43108-24972 2019-02-24 05:56:15 expired