SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-qcheck rpm build for : Fedora 31. For other distributions click ocaml-qcheck.

Name : ocaml-qcheck
Version : 0.10 Vendor : Fedora Project
Release : 2.fc31 Date : 2019-08-02 00:08:21
Group : Unspecified Source RPM : ocaml-qcheck-0.10-2.fc31.src.rpm
Size : 2.32 MB
Packager : Fedora Project
Summary : QuickCheck inspired property-based testing for OCaml
Description :
This module allows to check invariants (properties of some types) over
randomly generated instances of the type. It provides combinators for
generating instances and printing them.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/31/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-qcheck-0.10-2.fc31.x86_64.rpm
     

Provides :
ocaml(QCheck)
ocaml(QCheck_base_runner)
ocaml(QCheck_ounit)
ocaml(QCheck_runner)
ocaml-qcheck
ocaml-qcheck(x86-64)

Requires :
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
ocaml(CamlinternalFormatBasics) = a2b1a9d869fd05813beb35645bd9cd94
ocaml(CamlinternalLazy) = 32c2335718b9e6766271583b9840ffb3
ocaml(CamlinternalOO) = d36e44265a1abc6fe38b4d90a9e29d76
ocaml(OUnit) = 9022b33724c65f34082688a6d14a23a0
ocaml(OUnit2) = fee509b22d82a830c2a536dd5623ae2d
ocaml(OUnitConf) = c8aeb0b4f6f8bc242031a35cf6b6e9fc
ocaml(OUnitLogger) = 3d2f644e223206ca35b7f47968f37a5f
ocaml(OUnitPropList) = 2fc0e4cfbda22163f8528eb6647a2c81
ocaml(OUnitShared) = 4c423910a1831b6b3cd1961b893d96bb
ocaml(OUnitTest) = 8e2ca386a6bf2bbaf150de7a5ef8efaa
ocaml(OUnitUtils) = aca77ec34f79aa24120e472c09956e0e
ocaml(QCheck) = 1715cad0743dbc6a32244f5b2c60bb6b
ocaml(QCheck_base_runner) = 7158a24bf112570f067efe934daf9efc
ocaml(QCheck_ounit) = 2f0c42c299326c81e587d8c9f36fe2df
ocaml(Stdlib) = ad45f251bbf98d3a0bf3b883546ecfc8
ocaml(Stdlib__arg) = 5946cffdb65af107c239a1dd5b0b22b7
ocaml(Stdlib__array) = 8412db19ee2dd682a114d363bf147818
ocaml(Stdlib__bigarray) = a39abb3f899c4b4ea72b1eda931404b8
ocaml(Stdlib__buffer) = 35866fa9f82ad0886b2ccd0a86f2e1e6
ocaml(Stdlib__bytes) = 6b7074af78d2fce4ff8323a7d4e5ea0d
ocaml(Stdlib__char) = 1f7aaa002e7504e2fcb18665bf17141d
ocaml(Stdlib__complex) = 3e86422b431ff5c172197d51a2afdd52
ocaml(Stdlib__filename) = 620b1f6f6d9c32af927183ef4ceedb7a
ocaml(Stdlib__format) = b19f294d464555e99bcd77ca013195d9
ocaml(Stdlib__hashtbl) = 8a0f9b54a9d30b1aeff83f4bae88dfde
ocaml(Stdlib__int32) = 9de27084a784cd13eb5e5552ddbd6b4e
ocaml(Stdlib__int64) = 131e92719192bf020f99efe1afb0007c
ocaml(Stdlib__lazy) = 31c662c7cda074a9799490137c4d7016
ocaml(Stdlib__list) = fa1a1736c894577d834b1d79f2682a7e
ocaml(Stdlib__map) = 24753f5ffed358ea157f8ab4f298d015
ocaml(Stdlib__nativeint) = 1299f64d64f7c776695f30edab0d4d78
ocaml(Stdlib__obj) = 9f725e74fc3209d50af4a35f74f18b53
ocaml(Stdlib__oo) = cd89cf538ff9a31aad9fe6ef31d46ae9
ocaml(Stdlib__pervasives) = ffb0eefbca3d14a1a48cbcb24e4eb181
ocaml(Stdlib__printexc) = 0385c022af1089101c5830e076b89d37
ocaml(Stdlib__printf) = b72a44ed259e7034497028c0b31e9fa1
ocaml(Stdlib__queue) = 0e53521dd09e6bd3fb5bff6dbaa5b840
ocaml(Stdlib__random) = f5b2df0d5c2778d59a9e52c34ea4c5c0
ocaml(Stdlib__scanf) = 5b61f6db39154f9e1e418dda227a1351
ocaml(Stdlib__seq) = 359c95515bb2842e5ad1497a5b684136
ocaml(Stdlib__set) = 579516330b5c99c94e9cea433159c1ef
ocaml(Stdlib__stream) = deb625f011da89c7ad56e935ac3521b5
ocaml(Stdlib__string) = 89dc8c0e4f92ce704437ae3fafad684f
ocaml(Stdlib__sys) = 13aa7b95294684724e198467fb7c3467
ocaml(Stdlib__uchar) = db24a5ebd1625809ae883920f16c2526
ocaml(Unix) = 323356c8c72d73e9e59421c988efd3aa
ocaml(runtime) = 4.08.1
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)


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/00
/usr/lib/.build-id/00/d34325cfbf18f06951ce7e93df76cb51c1501d
/usr/lib/.build-id/70
/usr/lib/.build-id/70/83c5f762e06cd6ca1eefe754c6f9e4a6135387
/usr/lib/.build-id/95
/usr/lib/.build-id/95/89c1046568922e3fb549f5b986c819015ee8ab
/usr/lib/.build-id/eb
/usr/lib/.build-id/eb/775daceda19baa1fdbc42f8457a774ed58557b
/usr/lib64/ocaml/qcheck
/usr/lib64/ocaml/qcheck-core
/usr/lib64/ocaml/qcheck-core/META
/usr/lib64/ocaml/qcheck-core/QCheck.cmi
/usr/lib64/ocaml/qcheck-core/QCheck.cmt
/usr/lib64/ocaml/qcheck-core/QCheck.cmti
/usr/lib64/ocaml/qcheck-core/dune-package
/usr/lib64/ocaml/qcheck-core/opam
/usr/lib64/ocaml/qcheck-core/qcheck_core.cma
/usr/lib64/ocaml/qcheck-core/qcheck_core.cmxs
/usr/lib64/ocaml/qcheck-core/runner
/usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.cmi
/usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.cmt
/usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.cmti
/usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cma
/usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cmxs
/usr/lib64/ocaml/qcheck-ounit
/usr/lib64/ocaml/qcheck-ounit/META
/usr/lib64/ocaml/qcheck-ounit/QCheck_ounit.cmi
/usr/lib64/ocaml/qcheck-ounit/QCheck_ounit.cmt
/usr/lib64/ocaml/qcheck-ounit/QCheck_ounit.cmti
There is 16 files more in these RPM.

 
ICM