SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-qcheck rpm build for : openSUSE Leap 42. For other distributions click ocaml-qcheck.

Name : ocaml-qcheck
Version : 0.8 Vendor : obs://build_opensuse_org/devel:languages:ocaml
Release : 6.d_l_ocaml.3 Date : 2018-12-08 01:13:21
Group : Development/Languages/OCaml Source RPM : ocaml-qcheck-0.8-6.d_l_ocaml.3.src.rpm
Size : 0.43 MB
Packager : (none)
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/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/ocaml/openSUSE_Leap_42.3/x86_64

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
ocaml-qcheck
ocaml-qcheck(x86-64)
qcheck.cmxs()(64bit)

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
libc.so.6()(64bit)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libc.so.6(GLIBC_2.2.5)(64bit)
rpmlib(PayloadIsLzma) <= 4.4.6-1


Content of RPM :
/usr/lib64/ocaml
/usr/lib64/ocaml/qcheck
/usr/lib64/ocaml/qcheck/qcheck.cmxs
/usr/share/doc/packages/ocaml-qcheck
/usr/share/doc/packages/ocaml-qcheck/CHANGELOG.md
/usr/share/doc/packages/ocaml-qcheck/README.adoc
/usr/share/licenses/ocaml-qcheck
/usr/share/licenses/ocaml-qcheck/LICENSE

 
ICM