summaryrefslogtreecommitdiff
path: root/dev-ml/base_quickcheck
AgeCommit message (Expand)Author
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