summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ppx_tools_versioned: drop 5.0.1Sam James2021-03-151-30/+0
* dev-ml/ppx_tools_versioned: keyword ~x86Alexis Ballier2017-08-021-1/+1
* dev-ml/ppx_tools_versioned: keyworded 5.0.1 for ppc, bug #625848Sergei Trofimovich2017-07-301-1/+1
* dev-ml/ppx_tools_versioned: keyword ~arm64Alexis Ballier2017-07-291-1/+1
* dev-ml/ppx_tools_versioned: keyword ~armAlexis Ballier2017-07-241-1/+1
* dev-ml/ppx_tools_versioned: bump to 5.0.1Alexis Ballier2017-06-081-0/+30