SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-qcheck rpm build for : RedHat EL 8. For other distributions click ocaml-qcheck.

Name : ocaml-qcheck
Version : 0.10 Vendor : Fedora Project
Release : 4.el8 Date : 2019-11-28 22:35:58
Group : Unspecified Source RPM : ocaml-qcheck-0.10-4.el8.src.rpm
Size : 2.39 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/epel/8.4.2021-11-30/Everything/x86_64/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-qcheck-0.10-4.el8.x86_64.rpm
ftp.icm.edu.pl  ocaml-qcheck-0.10-4.el8.x86_64.rpm
ftp.icm.edu.pl  ocaml-qcheck-0.10-4.el8.x86_64.rpm
ftp.icm.edu.pl  ocaml-qcheck-0.10-4.el8.x86_64.rpm
ftp.icm.edu.pl  ocaml-qcheck-0.10-4.el8.x86_64.rpm
ftp.icm.edu.pl  ocaml-qcheck-0.10-4.el8.x86_64.rpm
ftp.icm.edu.pl  ocaml-qcheck-0.10-4.el8.x86_64.rpm
ftp.icm.edu.pl  ocaml-qcheck-0.10-4.el8.x86_64.rpm
ftp.icm.edu.pl  ocaml-qcheck-0.10-4.el8.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) = 7ea79e608e46b41c80c3251773e6fdf3
ocaml(CamlinternalLazy) = 3adca82482059421053701381ab2103c
ocaml(CamlinternalOO) = 97f2eb1bc0716f60be886724bf7c7b32
ocaml(OUnit) = 61d93302d6cc0940324602b5f30fc385
ocaml(OUnit2) = e6173d3d95f8c5d7cd637cca77fd0ffe
ocaml(OUnitConf) = 8fb2194a0cb26a1b64ebc3ffb692ea54
ocaml(OUnitLogger) = 3a14f010eda5c7c4559aa490dbfd3b68
ocaml(OUnitPropList) = 57e31f9657b1cb923baa33a261d4f6cb
ocaml(OUnitShared) = 8854d0b1aae0d7c9e540ecfdab6eb562
ocaml(OUnitTest) = 94e91d15809aee7c3dd9e8a8475ae013
ocaml(OUnitUtils) = 9fe28e38facfa36d843fa5fbcae44f78
ocaml(QCheck) = 2790c2daac3d3db5c695df32454e4932
ocaml(QCheck_base_runner) = c839006ffcfcb15b40c8adb4064a86d8
ocaml(QCheck_ounit) = 632c2d9771e9e45fa4cca576fe47e8b5
ocaml(Stdlib) = 2812fae09b173a42800ce3b48328b9cb
ocaml(Stdlib__arg) = 427a32ba894b2729b4053bd61ec3bc12
ocaml(Stdlib__array) = 8289b1b8bcdd29cc6a859bfa35d44a2e
ocaml(Stdlib__bigarray) = fde4e26503108d041547c9eef855a5fa
ocaml(Stdlib__buffer) = 10853d28756c7121334e6b9e3e83e1ba
ocaml(Stdlib__bytes) = fe610140c1c3c7a45519f124966c164d
ocaml(Stdlib__char) = dfbf7b404aa65639c2ae48823aae4141
ocaml(Stdlib__complex) = d4688bd6236fccf33550a083ea8e768f
ocaml(Stdlib__filename) = 59d4f5dc5b39cf14e1644b77a94ace28
ocaml(Stdlib__format) = 28a664c1f420f636bf646c962e89e74a
ocaml(Stdlib__hashtbl) = 682884027fa100c01983d89cfc4eaf69
ocaml(Stdlib__int32) = 78bd846191e02a88baa4e9a80ecf1cd6
ocaml(Stdlib__int64) = a454ce987e87f19475aaffc6390cdac3
ocaml(Stdlib__lazy) = e6d072b84e6160ffef0b04b417bf1f72
ocaml(Stdlib__list) = 0c0f6e8daa075e845d18d212dd78098f
ocaml(Stdlib__map) = c1f5b25c1463fcd9b8448c396d451c2e
ocaml(Stdlib__nativeint) = b902bb985d2fe122694f9825a3a50cf5
ocaml(Stdlib__obj) = a596d23956eb4b50fd382185fb87478a
ocaml(Stdlib__oo) = ac497e7226fd344fa2e5727728ad97df
ocaml(Stdlib__printexc) = f94eb57f9995c6f95133374b31a2db08
ocaml(Stdlib__printf) = be9ae8643b5511d51db9c754b5ee4f74
ocaml(Stdlib__queue) = 7f7ceceae7e32ae22ed869d3d416da67
ocaml(Stdlib__random) = 9e673e7e6fd158515a6d4ef4d5d75bc4
ocaml(Stdlib__scanf) = ee5bb5cd64716063deceb22e04cc7760
ocaml(Stdlib__seq) = 5c66a1fd18f6126043d7af46d32b4b53
ocaml(Stdlib__set) = ee3121b3672ab195758de1ce2e925022
ocaml(Stdlib__stream) = 4dac5a24ac9b37b27ef4ca0acf5d283c
ocaml(Stdlib__string) = da1db0058f6dfb66ed4d85c353dc9306
ocaml(Stdlib__sys) = 173c21e20f3d44e9b4f52694fd5addb3
ocaml(Stdlib__uchar) = 786699188e2f8c1fe32eb8363cd7655a
ocaml(Unix) = e5f3d189d40891229c2283728e203e8a
ocaml(runtime) = 4.07.0
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)


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/02
/usr/lib/.build-id/02/4e80a68b623d37c8ce9fafa5504e3f6db50d59
/usr/lib/.build-id/13
/usr/lib/.build-id/13/2daa809613a0a422e29ac76dd39ce68affef22
/usr/lib/.build-id/21
/usr/lib/.build-id/21/4a440b6f902b3c9afc1cef7b0777716f77b1b9
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/24a1594e8c78a752d957629d87ac875d979c91
/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