summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune-configurator: fix phase definition styleSam James2021-05-042-2/+2
* dev-ml/dune-configurator: Stabilize 2.8.4 x86, #783567Sam James2021-04-261-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.4 arm, #783567Sam James2021-04-251-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.4 ppc64, #783567Sam James2021-04-221-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.4 ppc, #783567Sam James2021-04-221-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.4 arm64, #783567Sam James2021-04-221-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.4 amd64, #783567Sam James2021-04-181-1/+1
* dev-ml/dune-configurator: drop 2.7.1Sam James2021-03-152-32/+0
* dev-ml/dune-configurator: Stabilize 2.7.1 arm, #775782Sam James2021-03-141-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.2-r1 arm64, #772833Sam James2021-03-141-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.2-r1 arm, #772833Sam James2021-03-141-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.2-r1 ppc64, #772833Sam James2021-03-131-1/+1
* dev-ml/dune-configurator: add 2.8.4Sam James2021-03-132-0/+118
* dev-ml/dune-configurator: amd64 stable wrt bug #772833Agostino Sarubbo2021-03-041-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.2-r1 x86, #772833Sam James2021-02-251-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.2-r1 ppc, #772833Sam James2021-02-251-1/+1
* dev-ml/dune-configurator: Keyword 2.8.2-r1 ppc, #766884Sam James2021-02-211-1/+1
* dev-ml/dune-configurator: Stabilize 2.7.1 ppc, #769317Sam James2021-02-111-1/+1
* dev-ml/dune-configurator: Stabilize 2.7.1 x86, #769317Sam James2021-02-111-1/+1
* dev-ml/dune-configurator: Stabilize 2.7.1 amd64, #769317Sam James2021-02-101-1/+1
* dev-ml/dune-configurator: Keyword 2.8.2-r1 ppc64, #766884Sam James2021-02-101-1/+1
* dev-ml/dune-configurator: Stabilize 2.7.1 ppc64, #769317Sam James2021-02-101-1/+1
* dev-ml/dune-configurator: add ml@Sam James2021-01-291-0/+4
* dev-ml/dune-configurator: Keyword 2.8.2-r1 x86, #766884Sam James2021-01-281-1/+1
* dev-ml/dune-configurator: Keyword 2.8.2-r1 arm64, #766884Sam James2021-01-281-1/+1
* dev-ml/dune-configurator: Keyword 2.8.2-r1 arm, #766884Sam James2021-01-271-1/+1
* dev-ml/dune-configurator: enforce ocamlopt=Sam James2021-01-271-3/+3
* dev-ml/dune-configurator: version lock dune-private-libs in 2.7.1 tooSam James2021-01-251-4/+4
* dev-ml/dune-configurator: keep subslot dep on private-libsSam James2021-01-251-1/+1
* dev-ml/dune-configurator: lock to same dune-private-libs versionSam James2021-01-251-1/+1
* dev-ml/dune-configurator: fix indentationSam James2021-01-241-3/+3
* dev-ml/dune-configurator: add dev-ml/core_bench test depSam James2021-01-241-1/+2
* dev-ml/dune-configurator: bump to 2.8.2Sam James2021-01-242-0/+108
* dev-ml/dune-configurator: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
* dev-ml/dune-configurator: Keyword 2.7.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/dune-configurator: Fix QA MissingTestRestrictMark Wright2020-10-151-0/+1
* dev-ml/dune-configurator: Bump to 2.7.1Mark Wright2020-10-133-0/+42