Mon, 02 Dec 2024 04:04:11 UTC | login

Information for RPM ocaml-qcheck-core-0.21.3-7.fc41.riscv64.rpm

ID1308344
Nameocaml-qcheck-core
Version0.21.3
Release7.fc41
Epoch
Archriscv64
SummaryQuickCheck inspired property-based testing for OCaml
DescriptionQcheck enables checking invariants (properties of a type) over randomly generated instances of the type. It provides combinators for generating instances and printing them. This package provides alcotest support for qcheck.
Build Time2024-06-04 17:05:16 GMT
Size642.29 KB
f7c5a2a8f2ff762aff1c3bcdf6d52807
LicenseBSD-2-Clause
https://github.com/c-cube/qcheck
Buildrootf41-build-812006-147631
Provides
ocaml(QCheck) = c45ce4a0f346677463921920663ffc35
ocaml(QCheck2) = f239bdb5b42588640ffd7aa6558846bc
ocaml(QCheck_base_runner) = 48de5f281d84ea94c23011b24921adca
ocaml-qcheck-core = 0.21.3-7.fc41
ocaml-qcheck-core(riscv-64) = 0.21.3-7.fc41
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea
ocaml(CamlinternalOO) = bf3206c1e533a97ee4e00a76bfe1dae6
ocaml(QCheck2) = f239bdb5b42588640ffd7aa6558846bc
ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658
ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46
ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4
ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f
ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696
ocaml(Stdlib__Bytes) = d5a54ebfd096c4af2a47315dda118f2d
ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092
ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095
ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446
ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad
ocaml(Stdlib__Float) = a5fcb41c938c7cce0687a4055b442b15
ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f
ocaml(Stdlib__Fun) = 6323fac31f017ca84abfb37c4d34c8d2
ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189
ocaml(Stdlib__Int) = 0fbbd1cff40aa838de5c354a2144f7c6
ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc
ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3
ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a
ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281
ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f
ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7
ocaml(Stdlib__Option) = 3be0d99b92eff9b8e5a209e054f6fee3
ocaml(Stdlib__Printexc) = 1e5e75f741ca414dd916c0c65b646827
ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a
ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016
ocaml(Stdlib__Result) = a22dbb2b8adf1a54405deb872b656bf6
ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab
ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d
ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d
ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f
ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4
ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 15 of 15
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/7f0.00 B
/usr/lib/.build-id/7f/12d169ef8c8d84cd649b152d08792b496e922856.00 B
/usr/lib/.build-id/890.00 B
/usr/lib/.build-id/89/a8341bc4e9c117d55846f80cb1f441dde255d265.00 B
/usr/lib64/ocaml/qcheck-core0.00 B
/usr/lib64/ocaml/qcheck-core/META460.00 B
/usr/lib64/ocaml/qcheck-core/qCheck.cmi20.13 KB
/usr/lib64/ocaml/qcheck-core/qCheck2.cmi15.08 KB
/usr/lib64/ocaml/qcheck-core/qcheck_core.cma467.07 KB
/usr/lib64/ocaml/qcheck-core/qcheck_core.cmxs846.84 KB
/usr/lib64/ocaml/qcheck-core/runner0.00 B
/usr/lib64/ocaml/qcheck-core/runner/qCheck_base_runner.cmi2.84 KB
/usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cma45.77 KB
/usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cmxs143.81 KB
Component of
1 through 2 of 2
Buildroot descending sort Created State
f41-build-812037-147667 2024-06-04 17:57:26 expired
f41-build-812031-147667 2024-06-04 17:52:35 expired