summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/eliom: enable ppx by defaultAlexis Ballier2016-01-301-1/+1
* dev-ml/eliom: bump ppx_tools depAlexis Ballier2016-01-301-1/+1
* dev-ml/eliom: bump to 5.0.0Alexis Ballier2016-01-303-0/+61
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* dev-ml/eliom: backport upstream patch to build with tyxml 3.6Alexis Ballier2016-01-192-1/+130
* dev-ml/eliom: fix deps; opam is build dep onlyAlexis Ballier2016-01-191-2/+2
* dev-ml/eliom: remove oldAlexis Ballier2016-01-195-247/+0
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-087-0/+312