Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-ml
/
qcheck
QuickCheck inspired property-based testing for OCaml
https://github.com/c-cube/qcheck
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-07-13
dev-ml/qcheck: add 0.22
01a2a4e
Alfredo Tupone
committed on 2024-07-13 09:30:08 UTC
dev-ml/qcheck/qcheck-0.22.ebuild
dev-ml/qcheck/Manifest
Commits on 2023-01-28
dev-ml/qcheck: add 0.20
be4d4a4
Alfredo Tupone
committed on 2023-01-28 13:25:13 UTC
dev-ml/qcheck/qcheck-0.20.ebuild
dev-ml/qcheck/Manifest
Commits on 2022-01-25
**/metadata.xml: Replace http by https in DOCTYPE element
2585fff
Ulrich Müller
committed on 2022-01-25 18:37:45 UTC
dev-ml/qcheck/metadata.xml
Commits on 2021-12-07
dev-ml/qcheck: new package; add version 0.18
6eed118
Maciej Barć
committed on 2021-12-07 21:58:42 UTC
dev-ml/qcheck/Manifest
dev-ml/qcheck/metadata.xml
dev-ml/qcheck/qcheck-0.18.ebuild
Commits on 2021-04-04
dev-ml/qcheck: treeclean
8a20e3a
Sam James
committed on 2021-04-04 06:08:48 UTC
dev-ml/qcheck/Manifest
dev-ml/qcheck/metadata.xml
dev-ml/qcheck/qcheck-0.7.ebuild
Commits on 2020-12-02
dev-ml/qcheck: drop old
45021a9
Aaron Bauman
committed on 2020-12-02 17:45:56 UTC
dev-ml/qcheck/Manifest
dev-ml/qcheck/qcheck-0.6.ebuild
Commits on 2019-12-13
*/*: Remove ml@ from packages maintainers
8d5bf2b
Michał Górny
committed on 2019-12-13 15:24:05 UTC
dev-ml/qcheck/metadata.xml
Commits on 2017-12-09
dev-ml/*: Update Manifest hashes
b3fe2d6
Michał Górny
committed on 2017-12-09 17:40:26 UTC
dev-ml/qcheck/Manifest
Commits on 2017-08-22
dev-ml/qcheck: bump to 0.7
0d1edab
Alexis Ballier
committed on 2017-08-22 07:01:59 UTC
dev-ml/qcheck/qcheck-0.7.ebuild
dev-ml/qcheck/Manifest
dev-ml/qcheck: Remove old
6e1907d
Alexis Ballier
committed on 2017-08-22 07:00:48 UTC
dev-ml/qcheck/Manifest
dev-ml/qcheck/qcheck-0.5.2.ebuild
dev-ml/qcheck/qcheck-0.5.3.1.ebuild
dev-ml/qcheck/qcheck-0.5.3.ebuild
Commits on 2017-05-30
dev-ml/qcheck: bump to 0.6
3b557fa
Alexis Ballier
committed on 2017-05-30 18:08:29 UTC
dev-ml/qcheck/qcheck-0.6.ebuild
dev-ml/qcheck/Manifest
Commits on 2017-04-29
Globally add missing remote ID references to metadata.xml
9271526
Justin Lecher
committed on 2017-04-29 18:49:16 UTC
dev-ml/qcheck/metadata.xml
Commits on 2017-02-28
Drop $Id$ per council decision in bug #611234.
61b861a
Robin H. Johnson
committed on 2017-02-28 19:50:50 UTC
dev-ml/qcheck/qcheck-0.5.2.ebuild
dev-ml/qcheck/qcheck-0.5.3.1.ebuild
dev-ml/qcheck/qcheck-0.5.3.ebuild
Commits on 2017-01-28
dev-ml/qcheck: bump to 0.5.3.1
0cacebf
Alexis Ballier
committed on 2017-01-28 20:13:19 UTC
dev-ml/qcheck/qcheck-0.5.3.1.ebuild
dev-ml/qcheck/Manifest
Commits on 2017-01-25
dev-ml/qcheck: bump to 0.5.3
79d597d
Alexis Ballier
committed on 2017-01-25 10:37:19 UTC
dev-ml/qcheck/qcheck-0.5.3.ebuild
dev-ml/qcheck/Manifest
Commits on 2017-01-24
dev-ml/qcheck: remove old
9b1ffe8
Alexis Ballier
committed on 2017-01-24 11:50:27 UTC
dev-ml/qcheck/Manifest
dev-ml/qcheck/qcheck-0.5.1.ebuild
dev-ml/qcheck/qcheck-0.5.ebuild
Commits on 2017-01-13
dev-ml/qcheck: set proper subslot
7ede2fc
Alexis Ballier
committed on 2017-01-13 07:56:47 UTC
dev-ml/qcheck/qcheck-0.5.2.ebuild
dev-ml/qcheck: bump to 0.5.2
ddc6cb3
Alexis Ballier
committed on 2017-01-13 07:56:47 UTC
dev-ml/qcheck/qcheck-0.5.2.ebuild
dev-ml/qcheck/Manifest
Commits on 2017-01-09
dev-ml/qcheck: bump to 0.5.1
df02744
Alexis Ballier
committed on 2017-01-09 11:08:24 UTC
dev-ml/qcheck/qcheck-0.5.1.ebuild
dev-ml/qcheck/Manifest
Commits on 2016-12-19
dev-ml/qcheck: readd since it is split again from iTeML.
5c833c5
Alexis Ballier
committed on 2016-12-19 12:07:26 UTC
dev-ml/qcheck/Manifest
dev-ml/qcheck/metadata.xml
dev-ml/qcheck/qcheck-0.5.ebuild
Commits on 2016-10-07
dev-ml/qcheck: remove, superseded by iteml
552272f
Alexis Ballier
committed on 2016-10-07 11:16:48 UTC
dev-ml/qcheck/Manifest
dev-ml/qcheck/metadata.xml
dev-ml/qcheck/qcheck-0.4.0.1.ebuild
Commits on 2016-02-13
dev-ml/qcheck: fix remote-id in metadata.xml
b3776ea
Matthew Brewer
committed on 2016-02-13 00:54:08 UTC
dev-ml/qcheck/metadata.xml
Commits on 2016-02-10
dev-ml/qcheck: update metadata.xml to contain a name-tag for tomboy64@sina.cn
9e8f3de
Matthew Brewer
committed on 2016-02-10 09:37:44 UTC
dev-ml/qcheck/metadata.xml
Commits on 2016-01-24
Set appropriate maintainer types in metadata.xml (GLEP 67)
8849b09
Michał Górny
committed on 2016-01-24 22:58:38 UTC
dev-ml/qcheck/metadata.xml
Replace all herds with appropriate projects (GLEP 67)
cfd93d7
Michał Górny
committed on 2016-01-24 22:58:38 UTC
dev-ml/qcheck/metadata.xml
Unify quoting in metadata.xml files for machine processing
4412ca2
Michał Górny
committed on 2016-01-24 22:58:38 UTC
dev-ml/qcheck/metadata.xml
Commits on 2015-10-21
Update remote-ids
0f25af6
Justin Lecher
committed on 2015-10-21 14:25:02 UTC
dev-ml/qcheck/metadata.xml
Commits on 2015-10-16
dev-ml/qcheck: new ebuild
9b55086
Matthew Brewer
committed on 2015-10-16 17:47:59 UTC
dev-ml/qcheck/Manifest
dev-ml/qcheck/metadata.xml
dev-ml/qcheck/qcheck-0.4.0.1.ebuild