summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ppx_tools_versioned: version bump to 5.4.0Alfredo Tupone2021-03-042-0/+25
* dev-ml/ppx_tools_versioned: version bumpAlfredo Tupone2021-02-202-0/+26
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-5/+2
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
* 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: Remove oldAlexis Ballier2017-07-242-31/+0
* dev-ml/ppx_tools_versioned: bump to 5.0.1Alexis Ballier2017-06-082-0/+31
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-5/+8
* dev-ml/ppx_tools_versioned: Initial import. Ebuild by me.Alexis Ballier2017-04-013-0/+39