summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/rresult: Keyword 0.7.0 riscv, #835392Yongxiang Liang2022-04-181-2/+2
* dev-ml/rresult: destabilise for ppcSam James2022-03-032-4/+4
* dev-ml/rresult: bump 0.7.0Alfredo Tupone2021-11-032-0/+25
* dev-ml/rresult: Stabilize 0.5.0 x86, #815910Sam James2021-10-141-1/+1
* dev-ml/rresult: Stabilize 0.6.0 arm, #817740Sam James2021-10-141-1/+1
* dev-ml/rresult: Stabilize 0.6.0 arm64, #817740Sam James2021-10-131-1/+1
* dev-ml/rresult: ppc stable wrt bug #817740Agostino Sarubbo2021-10-111-1/+1
* dev-ml/rresult: Stabilize 0.6.0 ppc64, #817740Sam James2021-10-111-1/+1
* dev-ml/rresult: Stabilize 0.6.0 amd64, #817740Sam James2021-10-111-1/+1
* dev-ml/rresult: Stabilize 0.5.0 ppc, #804771Sam James2021-10-021-1/+1
* dev-ml/rresult: Stabilize 0.5.0 ppc64, #804771Sam James2021-10-021-1/+1
* dev-ml/rresult: Stabilize 0.5.0 amd64, #804771Sam James2021-10-021-1/+1
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* dev-ml/rresult: Stabilize 0.5.0 arm, #804771Sam James2021-09-071-1/+1
* dev-ml/rresult: Stabilize 0.5.0 arm64, #804771Sam James2021-09-041-1/+1
* dev-ml/rresult: add 0.6.0Sam James2021-07-282-0/+24
* dev-ml/rresult: adopt for ml@Sam James2021-07-281-1/+4
* dev-ml/rresult: Keyword 0.5.0 x86, #788406Sam James2021-07-281-1/+1
* dev-ml/rresult: Keyword 0.5.0 arm, #788406Sam James2021-05-151-1/+1
* dev-ml/rresult: Keyword 0.5.0 arm64, #788406Sam James2021-05-151-1/+1
* dev-ml/rresult: Keyword 0.5.0 ppc, #788406Sam James2021-05-101-1/+1
* dev-ml/rresult: Keyword 0.5.0 ppc64, #788406Sam James2021-05-101-2/+2
* dev-ml/rresult: update homepageAlexey Sokolov2020-06-041-3/+3
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
* dev-ml/rresult: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-261-7/+7
* dev-ml/rresult: convert to opam.eclassAlexis Ballier2017-08-061-13/+3
* dev-ml/rresult: initial importAlexis Ballier2017-06-203-0/+46