ocaml-qcheck-0.8-1.fc27.x86_64.rpm


Advertisement

Description

ocaml-qcheck - QuickCheck inspired property-based testing for OCaml

Property Value
Distribution Fedora 27
Repository Fedora Updates x86_64
Package name ocaml-qcheck
Package version 0.8
Package release 1.fc27
Package architecture x86_64
Package type rpm
Installed size 1.94 MB
Download size 608.96 KB
Official Mirror dl.fedoraproject.org
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.

Alternatives

Package Version Architecture Repository
ocaml-qcheck-0.8-1.fc27.i686.rpm 0.8 i686 Fedora Updates
ocaml-qcheck-0.8-1.fc27.i686.rpm 0.8 i686 Fedora Updates
ocaml-qcheck - - -

Requires

Name Value
libc.so.6(GLIBC_2.2.5)(64bit) -
ocaml(Arg) = 48e54f53640e4d5acf3e83b6363912fc
ocaml(Array) = b801116cd919b6519c3585bcf595e7e8
ocaml(Buffer) = 29acb19a28b900e41ca251c3107ecf7f
ocaml(Bytes) = a81b64e2e900296b0e088f0bb5f2c734
ocaml(CamlinternalFormatBasics) = cbd5f2d6b649925222e1e9fb63b89db6
ocaml(CamlinternalLazy) = c192b003950296350172551bf6076883
ocaml(CamlinternalOO) = 6b286dd73118ee6f55c18d3b821a1309
ocaml(Char) = 5758f5683874ee78f9158e9972949a50
ocaml(Filename) = b181b803a1b6f13f9aa360e74470f0a7
ocaml(Format) = 4d105038ba0d7bcdd1de9ced9d28659e
ocaml(Hashtbl) = b1cacc4018241014d8c3ad5deacd16af
ocaml(Int32) = 9bbc1d113f6a37cdcc135f132a12dc30
ocaml(Int64) = e1332a5a27f912a62adac225e500efc7
ocaml(Lazy) = 9dddcac0bc002d8c0f511dd99ba4466f
ocaml(List) = d811c92e8d74500368d113948b851641
ocaml(Map) = 071552d2156a76152abe2a09b8ecf3c9
ocaml(Nativeint) = 8db6d5fad144c705a0cd7ad983a59f1f
ocaml(OUnit) = b5a346cbfb021fc8be5dbb9e00b89fe2
ocaml(OUnit2) = 6e4f46cb13c2bcd6533b563429458173
ocaml(OUnitConf) = 281f9c2160a7524b1984f5b491426e57
ocaml(OUnitLogger) = d07b310776e2aeb09bb59c92e16a79d6
ocaml(OUnitPropList) = 3671f32b43bb67044070a65deb8acb0b
ocaml(OUnitShared) = a9270314b464ab2a1d5ac48162a949a3
ocaml(OUnitTest) = 940528ab759505f91cced0c4e9920c2a
ocaml(OUnitUtils) = b7857140767856a488ac910fe100d3db
ocaml(Obj) = 08bac48fef2bdca984d647c3942da632
ocaml(Oo) = 175371ebc8e8d6d3901a8728aeb8d8f6
ocaml(Pervasives) = 07ea9e20ae94d62c35cfecbe7d66d3ea
ocaml(Printexc) = c52add357b965824810ca2ed42d7bdef
ocaml(Printf) = 189203e1ac0f9601fc5c726d3f776b05
ocaml(Random) = 88f24f89d4288094bdf01c52f62a94f5
ocaml(Scanf) = 84a13aee05b50db2086ab11c60da32f9
ocaml(Set) = 34db6e81c810a8a5fd551f9bff9d706e
ocaml(Stream) = ffb37a7c688305395efc6afc39c32c09
ocaml(String) = 90043e0e1317e530d5640850963d44c0
ocaml(Sys) = b1aa8c2b5e2a9b1022637c55ba211fb2
ocaml(Unix) = 5a9bdfb6a1907a5964517e3232eacb14
ocaml(runtime) = 4.05.0
rtld(GNU_HASH) -

Provides

Name Value
ocaml(QCheck) = d7f9d415967af34625bdb7cd1d315f38
ocaml(QCheck_runner) = 4bcd013ae26f4ea05a8a3c1a78d74414
ocaml-qcheck = 0.8-1.fc27
ocaml-qcheck(x86-64) = 0.8-1.fc27

Download

Type URL
Binary Package ocaml-qcheck-0.8-1.fc27.x86_64.rpm
Source Package ocaml-qcheck-0.8-1.fc27.src.rpm

Install Howto

Install the ocaml-qcheck rpm package:

# dnf install ocaml-qcheck

Files

Path
/usr/lib/.build-id/
/usr/lib/.build-id/16/20a21c84e46d0973b4aa556f37d6cb33f5fed7
/usr/lib64/ocaml/qcheck/META
/usr/lib64/ocaml/qcheck/QCheck.cmi
/usr/lib64/ocaml/qcheck/QCheck.cmt
/usr/lib64/ocaml/qcheck/QCheck.cmti
/usr/lib64/ocaml/qcheck/QCheck_runner.cmi
/usr/lib64/ocaml/qcheck/QCheck_runner.cmt
/usr/lib64/ocaml/qcheck/QCheck_runner.cmti
/usr/lib64/ocaml/qcheck/opam
/usr/lib64/ocaml/qcheck/qcheck.cma
/usr/lib64/ocaml/qcheck/qcheck.cmxs
/usr/share/doc/ocaml-qcheck/CHANGELOG.md
/usr/share/doc/ocaml-qcheck/README.adoc
/usr/share/licenses/ocaml-qcheck/LICENSE

Changelog

2018-02-05 - Andy Li <andy@onthewings.net> - 0.8-1
- New upstream release. (RHBZ#1541681)
- Enable debug package.
2017-12-02 - Richard W.M. Jones <rjones@redhat.com> - 0.7-2
- OCaml 4.06.0 rebuild.
2017-11-20 - Andy Li <andy@onthewings.net> - 0.7-1
- Initial RPM release.

See Also

Package Description
ocaml-qcheck-devel-0.8-1.fc27.i686.rpm Development files for ocaml-qcheck
ocaml-qcheck-devel-0.8-1.fc27.x86_64.rpm Development files for ocaml-qcheck
ocaml-qtest-2.7-1.fc27.x86_64.rpm Inline (Unit) Tests for OCaml
ocaml-re-1.7.1-2.fc27.i686.rpm A regular expression library for OCaml
ocaml-re-1.7.1-2.fc27.x86_64.rpm A regular expression library for OCaml
ocaml-re-devel-1.7.1-2.fc27.i686.rpm Development files for ocaml-re
ocaml-re-devel-1.7.1-2.fc27.x86_64.rpm Development files for ocaml-re
ocaml-rope-0.6.1-1.fc27.i686.rpm Ropes ("heavyweight strings") for OCaml
ocaml-rope-0.6.1-1.fc27.x86_64.rpm Ropes ("heavyweight strings") for OCaml
ocaml-rope-devel-0.6.1-1.fc27.i686.rpm Development files for ocaml-rope
ocaml-rope-devel-0.6.1-1.fc27.x86_64.rpm Development files for ocaml-rope
ocaml-runtime-4.05.0-5.fc27.x86_64.rpm OCaml runtime environment
ocaml-sedlex-1.99.4-1.fc27.i686.rpm Unicode-friendly lexer generator
ocaml-sedlex-1.99.4-1.fc27.x86_64.rpm Unicode-friendly lexer generator
ocaml-sedlex-devel-1.99.4-1.fc27.i686.rpm Development files for ocaml-sedlex
Advertisement
Advertisement