summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/core_bench: Keyword 0.15.0 arm, #892131Sam James2023-02-241-1/+1
* dev-ml/core_bench: Keyword 0.15.0 arm64, #892131Sam James2023-02-241-1/+1
* dev-ml/core_bench: Keyword 0.15.0 x86, #892131Arthur Zamarin2023-02-201-1/+1
* dev-ml/core_bench: unkeyword 0.15.0Sam James2023-01-271-2/+2
* dev-ml/core_bench: 0.15.0 bumpAlfredo Tupone2022-04-272-0/+19
* dev-ml/core_bench: Keyword 0.14.0 riscv, #835392Yongxiang Liang2022-04-181-1/+1
* dev-ml/core_bench: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/core_bench: src_compile is in dune.eclassAlfredo Tupone2021-10-031-4/+0
* dev-ml/core_bench: build with ocaml-4.12Alfredo Tupone2021-10-011-0/+4
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* dev-ml/core_bench: Stabilize 0.14.0 arm64, #772833Sam James2021-03-141-1/+1
* dev-ml/core_bench: Stabilize 0.14.0 arm, #772833Sam James2021-03-141-1/+1
* dev-ml/core_bench: Stabilize 0.14.0 ppc64, #772833Sam James2021-03-131-1/+1
* dev-ml/core_bench: amd64 stable wrt bug #772833Agostino Sarubbo2021-03-041-1/+1
* dev-ml/core_bench: Stabilize 0.14.0 x86, #772833Sam James2021-02-251-1/+1
* dev-ml/core_bench: Stabilize 0.14.0 ppc, #772833Sam James2021-02-251-1/+1
* dev-ml/core_bench: Keyword 0.14.0 ppc, #766884Sam James2021-02-211-1/+1
* dev-ml/core_bench: Keyword 0.14.0 ppc64, #766884Sam James2021-02-101-1/+1
* dev-ml/core_bench: Keyword 0.14.0 x86, #766884Sam James2021-01-281-1/+1
* dev-ml/core_bench: Keyword 0.14.0 arm64, #766884Sam James2021-01-281-1/+1
* dev-ml/core_bench: Keyword 0.14.0 arm, #766884Sam James2021-01-271-2/+2
* dev-ml/core_bench: new packageSam James2021-01-243-0/+36
* dev-ml/*: Remove first set of unneeded leaf packagesMichał Górny2020-01-143-42/+0
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-5/+2
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-5/+8
* dev-ml/core_bench: Bump to 0.9.0Alexis Ballier2017-04-023-52/+34
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/core_bench: remove oldAlexis Ballier2016-06-233-83/+0
* dev-ml/core_bench: bump to 113.33.00Alexis Ballier2016-03-222-0/+53
* dev-ml/core_bench: bump to 113.24.00Alexis Ballier2016-02-052-0/+53
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* dev-ml/core_bench: remove old.Alexis Ballier2015-09-192-30/+0
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-084-0/+65