| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/rresult: drop 0.5.0 | David Seifert | 2022-07-24 | 2 | -25/+0 |
* | dev-ml/rresult: stabilize 0.6.0 for x86 | David Seifert | 2022-07-24 | 1 | -1/+1 |
* | dev-ml/rresult: Keyword 0.7.0 riscv, #835392 | Yongxiang Liang | 2022-04-18 | 1 | -2/+2 |
* | dev-ml/rresult: destabilise for ppc | Sam James | 2022-03-03 | 2 | -4/+4 |
* | dev-ml/rresult: bump 0.7.0 | Alfredo Tupone | 2021-11-03 | 2 | -0/+25 |
* | dev-ml/rresult: Stabilize 0.5.0 x86, #815910 | Sam James | 2021-10-14 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.6.0 arm, #817740 | Sam James | 2021-10-14 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.6.0 arm64, #817740 | Sam James | 2021-10-13 | 1 | -1/+1 |
* | dev-ml/rresult: ppc stable wrt bug #817740 | Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.6.0 ppc64, #817740 | Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.6.0 amd64, #817740 | Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.5.0 ppc, #804771 | Sam James | 2021-10-02 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.5.0 ppc64, #804771 | Sam James | 2021-10-02 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.5.0 amd64, #804771 | Sam James | 2021-10-02 | 1 | -1/+1 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.5.0 arm, #804771 | Sam James | 2021-09-07 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.5.0 arm64, #804771 | Sam James | 2021-09-04 | 1 | -1/+1 |
* | dev-ml/rresult: add 0.6.0 | Sam James | 2021-07-28 | 2 | -0/+24 |
* | dev-ml/rresult: adopt for ml@ | Sam James | 2021-07-28 | 1 | -1/+4 |
* | dev-ml/rresult: Keyword 0.5.0 x86, #788406 | Sam James | 2021-07-28 | 1 | -1/+1 |
* | dev-ml/rresult: Keyword 0.5.0 arm, #788406 | Sam James | 2021-05-15 | 1 | -1/+1 |
* | dev-ml/rresult: Keyword 0.5.0 arm64, #788406 | Sam James | 2021-05-15 | 1 | -1/+1 |
* | dev-ml/rresult: Keyword 0.5.0 ppc, #788406 | Sam James | 2021-05-10 | 1 | -1/+1 |
* | dev-ml/rresult: Keyword 0.5.0 ppc64, #788406 | Sam James | 2021-05-10 | 1 | -2/+2 |
* | dev-ml/rresult: update homepage | Alexey Sokolov | 2020-06-04 | 1 | -3/+3 |
* | */*: Remove ml@ from packages maintainers | Michał Górny | 2019-12-13 | 1 | -4/+1 |
* | dev-ml/*: Update Manifest hashes | Michał Górny | 2017-12-09 | 1 | -1/+1 |
* | dev-ml/rresult: [QA] Consistent whitespace in metadata.xml | David Seifert | 2017-11-26 | 1 | -7/+7 |
* | dev-ml/rresult: convert to opam.eclass | Alexis Ballier | 2017-08-06 | 1 | -13/+3 |
* | dev-ml/rresult: initial import | Alexis Ballier | 2017-06-20 | 3 | -0/+46 |