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