Main Site Links:

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

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

ID	328173
Name	ghc-lazysmallcheck
Version	0.6
Release	20.fc30
Epoch
Arch	riscv64
Summary	A library for demand-driven testing of Haskell programs
Description	Lazy 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 Time	2019-02-21 14:35:49 GMT
Size	54.73 KB
SIGMD5	156b4ab3bd12ed7d472fdc9989b649a8
License	BSD
Buildroot	f30-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 Size /usr/lib/.build-id 0.00 B /usr/lib/.build-id/f8 0.00 B /usr/lib/.build-id/f8/ea35e245d2e8aa142814a3d225e51bfe0c0733 79.00 B /usr/lib64/libHSlazysmallcheck-0.6-1ddcqoKD9zD6AAUzjJzp0-ghc8.4.4.so 307.77 KB /usr/share/licenses/ghc-lazysmallcheck 0.00 B /usr/share/licenses/ghc-lazysmallcheck/LICENSE 1.49 KB
Component of	1 through 4 of 4 Buildroot Created State f31-build-54058-27926 2019-07-26 07:34:12 f30-build-43150-25010 2019-02-24 13:23:47 f30-build-43149-25010 2019-02-24 13:23:36 f30-build-43108-24972 2019-02-24 05:56:15