summaryrefslogtreecommitdiff
path: root/dev-ml/base_quickcheck
AgeCommit message (Collapse)Author
11 daysdev-ml/base_quickcheck: drop 0.15.0-r3Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-07-14dev-ml/base_quickcheck: Keyword 0.17.0-r2 riscv, #959600Jakov Smolić
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-09dev-ml/base_quickcheck: ppxlib < 0.36.0Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-07-09dev-ml/base_quickcheck: add 0.17.1Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-06-04dev-ml/base_quickcheck: depends on all 0.17.* slot of baseAlfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-04-15dev-ml/base_quickcheck: drop 0.14.0-r1, 0.14.1-r2Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2024-06-13dev-ml/base_quickcheck: add 0.17.0Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2024-06-12dev-ml/base_quickcheck: Stabilize 0.16.0 ppc64, #933369Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2024-06-05dev-ml/base_quickcheck: fix depsAlfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2024-06-02dev-ml/base_quickcheck: Stabilize 0.16.0 arm64, #933369Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2024-06-02dev-ml/base_quickcheck: Stabilize 0.16.0 arm, #933369Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2024-06-02dev-ml/base_quickcheck: Stabilize 0.16.0 x86, #933369Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2024-06-02dev-ml/base_quickcheck: Stabilize 0.16.0 amd64, #933369Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2024-02-14*/*: Reassign gienah's packagesMichał Górny
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2023-07-01dev-ml/base_quickcheck: add 0.16.0Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2023-04-01dev-ml/base_quickcheck: Stabilize 0.15.0-r2 arm64, #901559Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2023-03-25dev-ml/base_quickcheck: Stabilize 0.15.0-r2 ppc64, #901559Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2023-03-25dev-ml/base_quickcheck: Stabilize 0.15.0-r2 arm, #901559Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2023-03-25dev-ml/base_quickcheck: Stabilize 0.15.0-r2 x86, #901559Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2023-03-16dev-ml/base_quickcheck: stabilize 0.15.0-r2 for amd64Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2023-02-10dev-ml/base_quickcheck: add ppxlib depAlfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2023-01-28dev-ml/base_quickcheck: adj depsAlfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2022-10-19dev-ml/base_quickcheck: adj depsAlfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2022-04-24dev-ml/base_quickcheck: 0.15.0 bumpAlfredo Tupone
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2022-04-18dev-ml/base_quickcheck: Keyword 0.14.1-r1 riscv, #835392Yongxiang Liang
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-03-03dev-ml/base_quickcheck: destabilise for ppcSam James
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
2022-01-24dev-ml: add ml@gentoo.org as mantainerAlfredo Tupone
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2021-10-15dev-ml/base_quickcheck: tighten ppxlib dependenciesSam James
Closes: https://bugs.gentoo.org/801985 Signed-off-by: Sam James <sam@gentoo.org>
2021-10-06dev-ml/base_quickcheck: add 0.14.1Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2021-09-11**/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller
Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
2021-03-16*/*: Normalize metadata.xml filesMichał Górny
Normalize quoting, replace '>' with entities, replace unnecessary entities, remove trailing empty lines. Done via: find -name metadata.xml -exec xml ed -P -L -d //none {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
2021-03-14dev-ml/base_quickcheck: Stabilize 0.14.0 arm64, #772833Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2021-03-14dev-ml/base_quickcheck: Stabilize 0.14.0 arm, #772833Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-12dev-ml/base_quickcheck: remove whitespace, fix indentMichael Mair-Keimberger
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11dev-ml/base_quickcheck: Stabilize 0.14.0 ppc, #769317Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11dev-ml/base_quickcheck: Stabilize 0.14.0 x86, #769317Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-10dev-ml/base_quickcheck: Stabilize 0.14.0 amd64, #769317Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-10dev-ml/base_quickcheck: Stabilize 0.14.0 ppc64, #769317Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2020-10-28dev-ml/base_quickcheck: ppc64 keyworded (bug #748576)Sam James
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
2020-10-24dev-ml/base_quickcheck: Keyword 0.14.0 ppc, #748576Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2020-10-17dev-ml/base_quickcheck: Keyword 0.14.0 x86, #748936Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2020-10-17dev-ml/base_quickeck: Fix depsMark Wright
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
2020-10-15dev-ml/base_quickcheck: arm64 keyworded (bug #748936)Sam James
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Sam James <sam@gentoo.org>
2020-10-15dev-ml/base_quickcheck: Keyword 0.14.0 arm, #748936Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2020-10-13dev-ml/base_quickcheck: Dependency of dev-ml/ppx_janeMark Wright
Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-07 06:59:43 +0000