libqcheck-ocaml-dev_0.8-1_i386.deb


Advertisement

Description

libqcheck-ocaml-dev - QuickCheck inspired property-based testing for OCaml (Development package)

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename libqcheck-ocaml-dev_0.8-1_i386.deb
Package name libqcheck-ocaml-dev
Package version 0.8
Package release 1
Package architecture i386
Package type deb
Category ocaml
Homepage https://github.com/c-cube/qcheck
License -
Maintainer Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Download size 454.77 KB
Installed size 1.67 MB
This module allows one 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
libqcheck-ocaml-dev_0.8-1_amd64.deb 0.8 amd64 Debian Main
libqcheck-ocaml-dev - - -

Requires

Name Value
libounit-ocaml-dev-uokv8 -
libqcheck-ocaml-z8ch8 -
ocaml-nox-4.05.0 -

Provides

Name Value
libqcheck-ocaml-dev-z8ch8 -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libqcheck-ocaml-dev_0.8-1_i386.deb
Source Package ocaml-qcheck

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libqcheck-ocaml-dev deb package:
    # sudo apt-get install libqcheck-ocaml-dev

Files

Path
/usr/lib/ocaml/qcheck/QCheck.cmi
/usr/lib/ocaml/qcheck/QCheck.cmt
/usr/lib/ocaml/qcheck/QCheck.cmti
/usr/lib/ocaml/qcheck/QCheck.cmx
/usr/lib/ocaml/qcheck/QCheck.ml
/usr/lib/ocaml/qcheck/QCheck.mli
/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/QCheck_runner.cmx
/usr/lib/ocaml/qcheck/QCheck_runner.ml
/usr/lib/ocaml/qcheck/QCheck_runner.mli
/usr/lib/ocaml/qcheck/qcheck.a
/usr/lib/ocaml/qcheck/qcheck.cmxa
/usr/lib/ocaml/qcheck/qcheck.dune
/usr/share/doc/libqcheck-ocaml-dev/changelog.Debian.gz
/usr/share/doc/libqcheck-ocaml-dev/changelog.gz
/usr/share/doc/libqcheck-ocaml-dev/copyright
/usr/share/doc/libqcheck-ocaml-dev/examples/QCheck_ounit_test.ml
/usr/share/doc/libqcheck-ocaml-dev/examples/QCheck_runner_test.ml.gz
/usr/share/doc/libqcheck-ocaml-dev/examples/QCheck_test.ml
/usr/share/doc/libqcheck-ocaml-dev/examples/jbuild
/var/lib/ocaml/lintian/libqcheck-ocaml-dev.META.qcheck
/var/lib/ocaml/lintian/libqcheck-ocaml-dev.info
/var/lib/ocaml/md5sums/libqcheck-ocaml-dev.md5sums

Changelog

2018-08-15 - Andy Li <andy@onthewings.net>
ocaml-qcheck (0.8-1) unstable; urgency=medium
* Initial release. (Closes: #903371)

See Also

Package Description
libqcheck-ocaml-doc_0.8-1_all.deb Documentation for ocaml-qcheck
libqcheck-ocaml_0.8-1_i386.deb QuickCheck inspired property-based testing for OCaml (Runtime library)
libqcow-dev_20181227-1_i386.deb QEMU Copy-On-Write image format access library -- development files
libqcow-utils_20181227-1_i386.deb QEMU Copy-On-Write image format access library -- Utilities
libqcow1_20181227-1_i386.deb QEMU Copy-On-Write image format access library
libqcsxcad0_0.0.35+dfsg.1-3_i386.deb QT Gui Library for Visualization of Continuous Structure XML
libqcustomplot-dev_2.0.1+dfsg1-1_i386.deb Qt C++ widget for plotting - header
libqcustomplot-doc_2.0.1+dfsg1-1_all.deb Qt C++ widget for plotting - documentation and examples
libqcustomplot2.0_2.0.1+dfsg1-1_i386.deb Qt C++ widget for plotting
libqd-dev_2.3.22+dfsg.1-2_i386.deb Double-double and quad double types in C++ and F90
libqd0v5_2.3.22+dfsg.1-2_i386.deb Double-double and quad double types in C++ and F90
libqdbm++-dev_1.8.78-9+b1_i386.deb QDBM Database Libraries for C++ [development] (transitional package)
libqdbm-dev_1.8.78-9+b1_i386.deb QDBM Database Libraries [development]
libqdbm-java_1.8.78-9+b1_i386.deb QDBM Database Libraries for Java
libqdbm-perl_1.8.78-9+b1_i386.deb QDBM Database Libraries for Perl
Advertisement
Advertisement