summaryrefslogtreecommitdiff
path: root/dev-ml/eliom
Commit message (Expand)AuthorAge
* dev-ml/eliom: enable ppx by defaultAlexis Ballier2016-01-30
* dev-ml/eliom: bump ppx_tools depAlexis Ballier2016-01-30
* dev-ml/eliom: bump to 5.0.0Alexis Ballier2016-01-30
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-24
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-24
* dev-ml/eliom: backport upstream patch to build with tyxml 3.6Alexis Ballier2016-01-19
* dev-ml/eliom: fix deps; opam is build dep onlyAlexis Ballier2016-01-19
* dev-ml/eliom: remove oldAlexis Ballier2016-01-19
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-24
* Use https by defaultJustin Lecher2015-08-24
* proj/gentoo: Initial commitRobin H. Johnson2015-08-08