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


Advertisement

Description

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

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

Requires

Provides

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

    Download

    Install Howto

    Install the ocaml-qcheck rpm package:

    # dnf install ocaml-qcheck

    Files

    • /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.

    Advertisement
    Advertisement