libqcheck-ocaml_0.8-1_i386.deb


Advertisement

Description

libqcheck-ocaml - QuickCheck inspired property-based testing for OCaml (Runtime library)

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename libqcheck-ocaml_0.8-1_i386.deb
Package name libqcheck-ocaml
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 200.05 KB
Installed size 676.00 KB
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_0.8-1_amd64.deb 0.8 amd64 Debian Main
libqcheck-ocaml - - -

Requires

Name Value
libc6 >= 2.1.3
ocaml-base-nox-4.05.0 -

Provides

Name Value
libqcheck-ocaml-z8ch8 -

Download

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

Install Howto

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

Files

Path
/usr/lib/ocaml/qcheck/META
/usr/lib/ocaml/qcheck/opam
/usr/lib/ocaml/qcheck/qcheck.cma
/usr/lib/ocaml/qcheck/qcheck.cmxs
/usr/share/doc/libqcheck-ocaml/changelog.Debian.gz
/usr/share/doc/libqcheck-ocaml/changelog.gz
/usr/share/doc/libqcheck-ocaml/copyright
/usr/share/doc/qcheck/CHANGELOG.md
/usr/share/doc/qcheck/README.adoc.gz

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
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
libqdbm14_1.8.78-9+b1_i386.deb QDBM Database Libraries without GDBM wrapper[runtime]
libqdbm3++c2_1.8.78-9+b1_i386.deb QDBM Database Libraries for C++ [runtime] (transitional package)
Advertisement
Advertisement