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


Advertisement

Description

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

Distribution: Fedora 27
Repository: Fedora Updates i386
Package name: ocaml-qcheck
Package version: 0.8
Package release: 1.fc27
Package architecture: i686
Package type: rpm
Installed size: 1.86 MB
Download size: 601.22 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-32) = 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/63/6de9837f637a579b6669c03487b07969f0e0a5
    • /usr/lib/ocaml/qcheck/META
    • /usr/lib/ocaml/qcheck/QCheck.cmi
    • /usr/lib/ocaml/qcheck/QCheck.cmt
    • /usr/lib/ocaml/qcheck/QCheck.cmti
    • /usr/lib/ocaml/qcheck/QCheck_runner.cmi
    • /usr/lib/ocaml/qcheck/QCheck_runner.cmt
    • /usr/lib/ocaml/qcheck/QCheck_runner.cmti
    • /usr/lib/ocaml/qcheck/opam
    • /usr/lib/ocaml/qcheck/qcheck.cma
    • /usr/lib/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