summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-5/+8
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/ppx_deriving: remove oldAlexis Ballier2017-01-243-111/+0
* dev-ml/ppx_deriving: bump to 4.1Alexis Ballier2016-09-262-0/+56
* dev-ml/ppx_deriving: add missing build dep on cppo, bug #593620Alexis Ballier2016-09-131-0/+1
* dev-ml/ppx_deriving: bump to 4.0Alexis Ballier2016-06-272-0/+55
* dev-ml/ppx_deriving: remove oldAlexis Ballier2016-06-274-171/+0
* dev-ml/ppx_deriving: bump to 3.3Alexis Ballier2016-03-162-0/+55
* dev-ml/ppx_deriving: bump to 3.2Alexis Ballier2016-03-022-0/+61
* dev-ml/ppx_deriving: bump to 3.1Alexis Ballier2016-02-172-0/+55
* dev-ml/ppx_deriving: Use opam-installer to install it properlyAlexis Ballier2016-02-061-6/+7
* dev-ml/ppx_deriving: initial import; ebuild by meAlexis Ballier2016-02-053-0/+62