summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* **/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