Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_tools_versioned
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ppx_tools_versioned: treecleanJakov Smolić2021-11-143-34/+0
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* dev-ml/ppx_tools_versioned: add note re ocaml-migrate-parsetree restrictionSam James2021-03-151-0/+1
* dev-ml/ppx_tools_versioned: drop 5.2.2Sam James2021-03-152-26/+0
* dev-ml/ppx_tools_versioned: drop 5.0.1Sam James2021-03-152-31/+0
* 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