summaryrefslogtreecommitdiff
path: root/dev-ml/base_quickcheck
AgeCommit message (Expand)Author
2025-11-26dev-ml/base_quickcheck: drop 0.15.0-r3Alfredo Tupone
2025-07-14dev-ml/base_quickcheck: Keyword 0.17.0-r2 riscv, #959600Jakov Smolić
2025-07-09dev-ml/base_quickcheck: ppxlib < 0.36.0Alfredo Tupone
2025-07-09dev-ml/base_quickcheck: add 0.17.1Alfredo Tupone
2025-06-04dev-ml/base_quickcheck: depends on all 0.17.* slot of baseAlfredo Tupone
2025-04-15dev-ml/base_quickcheck: drop 0.14.0-r1, 0.14.1-r2Alfredo Tupone
2024-06-13dev-ml/base_quickcheck: add 0.17.0Alfredo Tupone
2024-06-12dev-ml/base_quickcheck: Stabilize 0.16.0 ppc64, #933369Arthur Zamarin
2024-06-05dev-ml/base_quickcheck: fix depsAlfredo Tupone
2024-06-02dev-ml/base_quickcheck: Stabilize 0.16.0 arm64, #933369Arthur Zamarin
2024-06-02dev-ml/base_quickcheck: Stabilize 0.16.0 arm, #933369Arthur Zamarin
2024-06-02dev-ml/base_quickcheck: Stabilize 0.16.0 x86, #933369Arthur Zamarin
2024-06-02dev-ml/base_quickcheck: Stabilize 0.16.0 amd64, #933369Arthur Zamarin
2024-02-14*/*: Reassign gienah's packagesMichał Górny
2023-07-01dev-ml/base_quickcheck: add 0.16.0Alfredo Tupone
2023-04-01dev-ml/base_quickcheck: Stabilize 0.15.0-r2 arm64, #901559Sam James
2023-03-25dev-ml/base_quickcheck: Stabilize 0.15.0-r2 ppc64, #901559Arthur Zamarin
2023-03-25dev-ml/base_quickcheck: Stabilize 0.15.0-r2 arm, #901559Arthur Zamarin
2023-03-25dev-ml/base_quickcheck: Stabilize 0.15.0-r2 x86, #901559Arthur Zamarin
2023-03-16dev-ml/base_quickcheck: stabilize 0.15.0-r2 for amd64Alfredo Tupone
2023-02-10dev-ml/base_quickcheck: add ppxlib depAlfredo Tupone
2023-01-28dev-ml/base_quickcheck: adj depsAlfredo Tupone
2022-10-19dev-ml/base_quickcheck: adj depsAlfredo Tupone
2022-04-24dev-ml/base_quickcheck: 0.15.0 bumpAlfredo Tupone
2022-04-18dev-ml/base_quickcheck: Keyword 0.14.1-r1 riscv, #835392Yongxiang Liang
2022-03-03dev-ml/base_quickcheck: destabilise for ppcSam James
2022-01-24dev-ml: add ml@gentoo.org as mantainerAlfredo Tupone
2021-10-15dev-ml/base_quickcheck: tighten ppxlib dependenciesSam James
2021-10-06dev-ml/base_quickcheck: add 0.14.1Sam James
2021-09-11**/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller
2021-03-16*/*: Normalize metadata.xml filesMichał Górny
2021-03-14dev-ml/base_quickcheck: Stabilize 0.14.0 arm64, #772833Sam James
2021-03-14dev-ml/base_quickcheck: Stabilize 0.14.0 arm, #772833Sam James
2021-02-12dev-ml/base_quickcheck: remove whitespace, fix indentMichael Mair-Keimberger
2021-02-11dev-ml/base_quickcheck: Stabilize 0.14.0 ppc, #769317Sam James
2021-02-11dev-ml/base_quickcheck: Stabilize 0.14.0 x86, #769317Sam James
2021-02-10dev-ml/base_quickcheck: Stabilize 0.14.0 amd64, #769317Sam James
2021-02-10dev-ml/base_quickcheck: Stabilize 0.14.0 ppc64, #769317Sam James
2020-10-28dev-ml/base_quickcheck: ppc64 keyworded (bug #748576)Sam James
2020-10-24dev-ml/base_quickcheck: Keyword 0.14.0 ppc, #748576Sam James
2020-10-17dev-ml/base_quickcheck: Keyword 0.14.0 x86, #748936Sam James
2020-10-17dev-ml/base_quickeck: Fix depsMark Wright
2020-10-15dev-ml/base_quickcheck: arm64 keyworded (bug #748936)Sam James
2020-10-15dev-ml/base_quickcheck: Keyword 0.14.0 arm, #748936Sam James
2020-10-13dev-ml/base_quickcheck: Dependency of dev-ml/ppx_janeMark Wright