summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/mirage-clock: bump to 4.2.0Maciej Barć2022-12-292-0/+23
* dev-ml/mirage-clock: Keyword 3.1.0 riscv, #835392Yongxiang Liang2022-04-181-1/+1
* dev-ml/mirage-clock: destabilise for ppcSam James2022-03-031-2/+2
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* dev-ml/mirage-clock: Stabilize 3.1.0 x86, #783582Sam James2021-06-031-1/+1
* dev-ml/mirage-clock: Stabilize 3.1.0 ppc, #783582Sam James2021-05-161-1/+1
* dev-ml/mirage-clock: Stabilize 3.1.0 arm, #783582Sam James2021-05-161-1/+1
* dev-ml/mirage-clock: Stabilize 3.1.0 arm64, #783582Sam James2021-05-151-1/+1
* dev-ml/mirage-clock: Stabilize 3.1.0 amd64, #783582Sam James2021-05-151-1/+1
* dev-ml/mirage-clock: stable 3.1.0 for ppc64Sergei Trofimovich2021-05-061-1/+1
* dev-ml/mirage-clock: Keyword 3.1.0 arm64, #769554Sam James2021-02-211-1/+1
* dev-ml/mirage-clock: Keyword 3.1.0 ppc, #769554Sam James2021-02-211-1/+1
* dev-ml/mirage-clock: Keyword 3.1.0 arm, #769554Sam James2021-02-211-1/+1
* dev-ml/mirage-clock: add bdepAlfredo Tupone2021-02-121-0/+2
* dev-ml/mirage-clock: Keyword 3.1.0 ppc64, #769554Sam James2021-02-101-1/+1
* dev-ml/mirage-clock: Keyword 3.1.0 x86, #769554Sam James2021-02-101-1/+1
* dev-ml/mirage-clock: new package (dev-ml/alcotest dep)Sam James2021-02-093-0/+27