summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/opam: Fix build with cmdliner 1.0.0Alexis Ballier2017-03-021-0/+4
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/opam: Add proper subslot for opam-libAlexis Ballier2017-02-231-2/+2
* dev-ml/opam: bump to 1.3.0Alexis Ballier2016-12-271-0/+51