Versions
v0.91 :: 0/0.91 :: gentoo
- Modified
- License
- BSD-2
- Keywords
- ~amd64 ~arm64 ~x86
- USE flags
- ocamlopt
v0.27 :: 0/0.27 :: gentoo
- Modified
- License
- BSD-2
- Keywords
- ~amd64 ~arm64 ~x86
- USE flags
- ocamlopt
v0.26 :: 0/0.26 :: gentoo
- Modified
- License
- BSD-2
- Keywords
- ~amd64 ~arm64 ~x86
- USE flags
- ocamlopt
v0.22 :: 0/0.22 :: gentoo
- Modified
- License
- BSD-2
- Keywords
- amd64 arm64 x86
- USE flags
- ocamlopt
USE flags
General
- ocamlopt
- Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
Dependencies
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
Runtime Dependencies
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
Depending packages
dev-ml / qtest : Inline (Unit) Tests for OCaml
dev-ml / tiny_httpd : Minimal HTTP server with a small request router
Bugs
- 960202
- dev-ml/qcheck-0.22 - [gcc-16] Failed to run command: dune
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Thomas Bracht Laumann Jespersen · gentoo
dev-ml/qcheck: add 0.91
Requires a newer version of ppxlib. The test suite can now be made to pass by setting ALCOTEST_COLUMNS. Signed-off-by: Thomas Bracht Laumann Jespersen <t@laumann.xyz> Part-of: https://codeberg.org/gentoo/gentoo/pulls/50 Merges: https://codeberg.org/gentoo/gentoo/pulls/50 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/qcheck: add 0.27
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/qcheck: add 0.26, drop 0.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/qcheck: drop 0.18, EAPI=7--
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/qcheck: Stabilize 0.22 amd64, #957586
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/qcheck: Stabilize 0.22 x86, #957586
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/qcheck: Stabilize 0.22 arm64, #957586
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/qcheck: keyword 0.22 for ~arm64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - 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)