| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml: add ml@gentoo.org as mantainer | Alfredo Tupone | 2022-01-24 | 1 | -0/+4 |
* | dev-ml/base_quickcheck: tighten ppxlib dependencies | Sam James | 2021-10-15 | 2 | -1/+2 |
* | dev-ml/base_quickcheck: add 0.14.1 | Sam James | 2021-10-06 | 2 | -0/+30 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | */*: Normalize metadata.xml files | Michał Górny | 2021-03-16 | 1 | -1/+1 |
* | dev-ml/base_quickcheck: Stabilize 0.14.0 arm64, #772833 | Sam James | 2021-03-14 | 1 | -1/+1 |
* | dev-ml/base_quickcheck: Stabilize 0.14.0 arm, #772833 | Sam James | 2021-03-14 | 1 | -1/+1 |
* | dev-ml/base_quickcheck: remove whitespace, fix indent | Michael Mair-Keimberger | 2021-02-12 | 1 | -3/+3 |
* | dev-ml/base_quickcheck: Stabilize 0.14.0 ppc, #769317 | Sam James | 2021-02-11 | 1 | -1/+1 |
* | dev-ml/base_quickcheck: Stabilize 0.14.0 x86, #769317 | Sam James | 2021-02-11 | 1 | -1/+1 |
* | dev-ml/base_quickcheck: Stabilize 0.14.0 amd64, #769317 | Sam James | 2021-02-10 | 1 | -1/+1 |
* | dev-ml/base_quickcheck: Stabilize 0.14.0 ppc64, #769317 | Sam James | 2021-02-10 | 1 | -2/+2 |
* | dev-ml/base_quickcheck: ppc64 keyworded (bug #748576) | Sam James | 2020-10-28 | 1 | -1/+1 |
* | dev-ml/base_quickcheck: Keyword 0.14.0 ppc, #748576 | Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/base_quickcheck: Keyword 0.14.0 x86, #748936 | Sam James | 2020-10-17 | 1 | -1/+1 |
* | dev-ml/base_quickeck: Fix deps | Mark Wright | 2020-10-17 | 1 | -9/+9 |
* | dev-ml/base_quickcheck: arm64 keyworded (bug #748936) | Sam James | 2020-10-15 | 1 | -1/+1 |
* | dev-ml/base_quickcheck: Keyword 0.14.0 arm, #748936 | Sam James | 2020-10-15 | 1 | -1/+1 |
* | dev-ml/base_quickcheck: Dependency of dev-ml/ppx_jane | Mark Wright | 2020-10-13 | 3 | -0/+41 |