dev-ml / qcheck

QuickCheck inspired property-based testing for OCaml

Official package sites : https://github.com/c-cube/qcheck ·

v0.22 :: 0/0.22 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~x86
USE flags
ocamlopt

v0.20 :: 0/0.20 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~x86
USE flags
ocamlopt

v0.18 :: 0/0.18 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~x86
USE flags
ocamlopt

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / alcotest : A lightweight and colourful test framework

dev-ml / dune : A composable build system for OCaml

dev-ml / ounit2 : Unit testing framework for OCaml

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / alcotest : A lightweight and colourful test framework

dev-ml / dune : A composable build system for OCaml

dev-ml / ounit2 : Unit testing framework for OCaml

dev-ml / qtest : Inline (Unit) Tests for OCaml

dev-ml / tiny_httpd : Minimal HTTP server with a small request router

Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/qcheck: add 0.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/qcheck: add 0.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-ml/qcheck: new package; add version 0.18
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/qcheck: treeclean
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Aaron Bauman · gentoo
dev-ml/qcheck: drop old
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Alexis Ballier · gentoo
dev-ml/qcheck: bump to 0.7
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/qcheck: Remove old
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/qcheck: bump to 0.6
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Alexis Ballier · gentoo
dev-ml/qcheck: bump to 0.5.3.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Alexis Ballier · gentoo
dev-ml/qcheck: bump to 0.5.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/qcheck: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/qcheck: set proper subslot
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/qcheck: bump to 0.5.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/qcheck: bump to 0.5.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/qcheck: readd since it is split again from iTeML.
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/qcheck: remove, superseded by iteml
Alexis Ballier · gentoo
Merge remote-tracking branch 'github/pr/232'
Matthew Brewer · gentoo
dev-ml/qcheck: new ebuild
- needed as a transitive dependency for Libre S3 1.1 (net-misc/libres3)