ocaml-qcheck-0.10-alt1.x86_64.rpm


Advertisement

Description

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

Property Value
Distribution ALT Linux Sisyphus
Repository Classic x86_64
Package filename ocaml-qcheck-0.10-alt1.x86_64.rpm
Package name ocaml-qcheck
Package version 0.10
Package release alt1
Package architecture x86_64
Package type rpm
Category Development/ML
Homepage -
License -
Maintainer -
Download size 986.87 KB
Installed size 986.87 KB
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.10-alt1.i586.rpm 0.10 i586 Classic
ocaml-qcheck - - -

Requires

Name Value
ocaml-cmi(Alcotest) = 4.08-855704CA
ocaml-cmi(CamlinternalFormatBasics) = 4.08-A2B1A9D8
ocaml-cmi(CamlinternalLazy) = 4.08-32C23357
ocaml-cmi(CamlinternalOO) = 4.08-D36E4426
ocaml-cmi(Cmdliner) = 4.08-6DB7EC14
ocaml-cmi(Fmt) = 4.08-C7EB8A7C
ocaml-cmi(OUnit) = 4.08-9022B337
ocaml-cmi(OUnit2) = 4.08-FEE509B2
ocaml-cmi(OUnitConf) = 4.08-C8AEB0B4
ocaml-cmi(OUnitLogger) = 4.08-3D2F644E
ocaml-cmi(OUnitPropList) = 4.08-2FC0E4CF
ocaml-cmi(OUnitShared) = 4.08-4C423910
ocaml-cmi(OUnitTest) = 4.08-8E2CA386
ocaml-cmi(OUnitUtils) = 4.08-ACA77EC3
ocaml-cmi(Result) = 4.08-29F12DB1
ocaml-cmi(Stdlib) = 4.08-AD45F251
ocaml-cmi(Stdlib__arg) = 4.08-5946CFFD
ocaml-cmi(Stdlib__array) = 4.08-8412DB19
ocaml-cmi(Stdlib__bigarray) = 4.08-A39ABB3F
ocaml-cmi(Stdlib__buffer) = 4.08-35866FA9
ocaml-cmi(Stdlib__bytes) = 4.08-6B7074AF
ocaml-cmi(Stdlib__char) = 4.08-1F7AAA00
ocaml-cmi(Stdlib__complex) = 4.08-3E86422B
ocaml-cmi(Stdlib__filename) = 4.08-620B1F6F
ocaml-cmi(Stdlib__format) = 4.08-B19F294D
ocaml-cmi(Stdlib__hashtbl) = 4.08-8A0F9B54
ocaml-cmi(Stdlib__int32) = 4.08-9DE27084
ocaml-cmi(Stdlib__int64) = 4.08-131E9271
ocaml-cmi(Stdlib__lazy) = 4.08-31C662C7
ocaml-cmi(Stdlib__list) = 4.08-FA1A1736
ocaml-cmi(Stdlib__map) = 4.08-24753F5F
ocaml-cmi(Stdlib__nativeint) = 4.08-1299F64D
ocaml-cmi(Stdlib__obj) = 4.08-9F725E74
ocaml-cmi(Stdlib__oo) = 4.08-CD89CF53
ocaml-cmi(Stdlib__pervasives) = 4.08-FFB0EEFB
ocaml-cmi(Stdlib__printexc) = 4.08-0385C022
ocaml-cmi(Stdlib__printf) = 4.08-B72A44ED
ocaml-cmi(Stdlib__queue) = 4.08-0E53521D
ocaml-cmi(Stdlib__random) = 4.08-F5B2DF0D
ocaml-cmi(Stdlib__scanf) = 4.08-5B61F6DB
ocaml-cmi(Stdlib__seq) = 4.08-359C9551
ocaml-cmi(Stdlib__set) = 4.08-57951633
ocaml-cmi(Stdlib__stack) = 4.08-607D26D0
ocaml-cmi(Stdlib__stream) = 4.08-DEB625F0
ocaml-cmi(Stdlib__string) = 4.08-89DC8C0E
ocaml-cmi(Stdlib__sys) = 4.08-13AA7B95
ocaml-cmi(Stdlib__uchar) = 4.08-DB24A5EB
ocaml-cmi(Unix) = 4.08-323356C8
rpmlib(PayloadIsLzma) -

Provides

Name Value
ocaml-cmi(QCheck) = 4.08-1715CAD0
ocaml-cmi(QCheck_alcotest) = 4.08-6C002597
ocaml-cmi(QCheck_base_runner) = 4.08-7158A24B
ocaml-cmi(QCheck_ounit) = 4.08-2F0C42C2
ocaml-cmi(QCheck_runner) = 4.08-77AAE25B
ocaml-qcheck = 0.10-alt1:sisyphus+235061.5500.23.1

Download

Type URL
Mirror ftp.altlinux.org
Binary Package ocaml-qcheck-0.10-alt1.x86_64.rpm
Source Package ocaml-qcheck-0.10-alt1.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus x86_64 classic
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
    
  2. Update the package index:
    # sudo apt-get update
  3. Install ocaml-qcheck rpm package:
    # sudo apt-get install ocaml-qcheck

Files

Path
/usr/lib64/ocaml/qcheck/META
/usr/lib64/ocaml/qcheck/QCheck_runner.cmi
/usr/lib64/ocaml/qcheck/qcheck.a
/usr/lib64/ocaml/qcheck/qcheck.cma
/usr/lib64/ocaml/qcheck-alcotest/META
/usr/lib64/ocaml/qcheck-alcotest/QCheck_alcotest.cmi
/usr/lib64/ocaml/qcheck-alcotest/qcheck_alcotest.a
/usr/lib64/ocaml/qcheck-alcotest/qcheck_alcotest.cma
/usr/lib64/ocaml/qcheck-core/META
/usr/lib64/ocaml/qcheck-core/QCheck.cmi
/usr/lib64/ocaml/qcheck-core/qcheck_core.a
/usr/lib64/ocaml/qcheck-core/qcheck_core.cma
/usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.cmi
/usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.a
/usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cma
/usr/lib64/ocaml/qcheck-ounit/META
/usr/lib64/ocaml/qcheck-ounit/QCheck_ounit.cmi
/usr/lib64/ocaml/qcheck-ounit/qcheck_ounit.a
/usr/lib64/ocaml/qcheck-ounit/qcheck_ounit.cma
/usr/share/doc/ocaml-qcheck-0.10/README.adoc

Changelog

2019-07-31 - Anton Farygin <rider@altlinux.ru> 0.10-alt1
- 0.10
2019-03-13 - Anton Farygin <rider@altlinux.ru> 0.9-alt2
- rebuilt with dune-1.8
2018-11-06 - Anton Farygin <rider@altlinux.ru> 0.9-alt1
- first build for ALT

See Also

Package Description
ocaml-qcheck-devel-0.10-alt1.x86_64.rpm Development files for ocaml-qcheck
ocaml-qtest-2.9-alt1.x86_64.rpm Inline (Unit) Tests for OCaml
ocaml-qtest-devel-2.9-alt1.x86_64.rpm Development files for ocaml-qtest
ocaml-re-1.9.0-alt1.x86_64.rpm A regular expression library for OCaml
ocaml-re-devel-1.9.0-alt1.x86_64.rpm Development files for ocaml-re
ocaml-react-1.2.1-alt4.x86_64.rpm Development files for ocaml-react
ocaml-react-runtime-1.2.1-alt4.x86_64.rpm OCaml module for Functional Reactive Programming (FRP)
ocaml-reactiveData-0.2.2-alt1.x86_64.rpm Functional reactive programming with incremental changes in data structures
ocaml-reactiveData-devel-0.2.2-alt1.x86_64.rpm Development files for programs which will use the ocaml-reactiveData
ocaml-result-1.4-alt2.x86_64.rpm Compat result type
ocaml-result-devel-1.4-alt2.x86_64.rpm Development files for ocaml-result
ocaml-rresult-0.6.0-alt2.x86_64.rpm Result value combinators for OCaml
ocaml-rresult-devel-0.6.0-alt2.x86_64.rpm Development files for programs which will use the ocaml-rresult
ocaml-runtime-4.08.1-alt1.x86_64.rpm Runtime part of the OCaml system
ocaml-sexplib-0.12.0-alt1.x86_64.rpm OCaml library for converting OCaml values to S-expressions
Advertisement
Advertisement