| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/dune-configurator: 2.9.3 bump | Alfredo Tupone | 2022-01-29 | 2 | -0/+117 |
* | dev-ml/dune-configurator: Stabilize 2.9.1 x86, #817752 | Jakov Smolić | 2021-12-10 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.9.1 amd64, #817752 | Jakov Smolić | 2021-12-10 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.9.1 arm64, #817752 | Arthur Zamarin | 2021-12-08 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.9.1 ppc64, #817752 | Arthur Zamarin | 2021-12-07 | 1 | -1/+1 |
* | dev-ml/dune-configurator: tidy ebuild | Sam James | 2021-10-15 | 4 | -12/+8 |
* | dev-ml/dune-configurator: add 2.9.1 | Sam James | 2021-10-05 | 2 | -0/+118 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | dev-ml/dune-configurator: bump 2.9.0 | Alfredo Tupone | 2021-07-21 | 2 | -0/+118 |
* | dev-ml/dune-configurator: fix phase definition style | Sam James | 2021-05-04 | 2 | -2/+2 |
* | dev-ml/dune-configurator: Stabilize 2.8.4 x86, #783567 | Sam James | 2021-04-26 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.8.4 arm, #783567 | Sam James | 2021-04-25 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.8.4 ppc64, #783567 | Sam James | 2021-04-22 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.8.4 ppc, #783567 | Sam James | 2021-04-22 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.8.4 arm64, #783567 | Sam James | 2021-04-22 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.8.4 amd64, #783567 | Sam James | 2021-04-18 | 1 | -1/+1 |
* | dev-ml/dune-configurator: drop 2.7.1 | Sam James | 2021-03-15 | 2 | -32/+0 |
* | dev-ml/dune-configurator: Stabilize 2.7.1 arm, #775782 | Sam James | 2021-03-14 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.8.2-r1 arm64, #772833 | Sam James | 2021-03-14 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.8.2-r1 arm, #772833 | Sam James | 2021-03-14 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.8.2-r1 ppc64, #772833 | Sam James | 2021-03-13 | 1 | -1/+1 |
* | dev-ml/dune-configurator: add 2.8.4 | Sam James | 2021-03-13 | 2 | -0/+118 |
* | dev-ml/dune-configurator: amd64 stable wrt bug #772833 | Agostino Sarubbo | 2021-03-04 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.8.2-r1 x86, #772833 | Sam James | 2021-02-25 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.8.2-r1 ppc, #772833 | Sam James | 2021-02-25 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Keyword 2.8.2-r1 ppc, #766884 | Sam James | 2021-02-21 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.7.1 ppc, #769317 | Sam James | 2021-02-11 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.7.1 x86, #769317 | Sam James | 2021-02-11 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.7.1 amd64, #769317 | Sam James | 2021-02-10 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Keyword 2.8.2-r1 ppc64, #766884 | Sam James | 2021-02-10 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.7.1 ppc64, #769317 | Sam James | 2021-02-10 | 1 | -1/+1 |
* | dev-ml/dune-configurator: add ml@ | Sam James | 2021-01-29 | 1 | -0/+4 |
* | dev-ml/dune-configurator: Keyword 2.8.2-r1 x86, #766884 | Sam James | 2021-01-28 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Keyword 2.8.2-r1 arm64, #766884 | Sam James | 2021-01-28 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Keyword 2.8.2-r1 arm, #766884 | Sam James | 2021-01-27 | 1 | -1/+1 |
* | dev-ml/dune-configurator: enforce ocamlopt= | Sam James | 2021-01-27 | 1 | -3/+3 |
* | dev-ml/dune-configurator: version lock dune-private-libs in 2.7.1 too | Sam James | 2021-01-25 | 1 | -4/+4 |
* | dev-ml/dune-configurator: keep subslot dep on private-libs | Sam James | 2021-01-25 | 1 | -1/+1 |
* | dev-ml/dune-configurator: lock to same dune-private-libs version | Sam James | 2021-01-25 | 1 | -1/+1 |
* | dev-ml/dune-configurator: fix indentation | Sam James | 2021-01-24 | 1 | -3/+3 |
* | dev-ml/dune-configurator: add dev-ml/core_bench test dep | Sam James | 2021-01-24 | 1 | -1/+2 |
* | dev-ml/dune-configurator: bump to 2.8.2 | Sam James | 2021-01-24 | 2 | -0/+108 |
* | dev-ml/dune-configurator: ppc64 keyworded (bug #748576) | Sam James | 2020-10-28 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Keyword 2.7.1 ppc, #748576 | Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Fix QA MissingTestRestrict | Mark Wright | 2020-10-15 | 1 | -0/+1 |
* | dev-ml/dune-configurator: Bump to 2.7.1 | Mark Wright | 2020-10-13 | 3 | -0/+42 |