Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_here
Commit message (Expand)AuthorAgeFilesLines
* */*: 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_here: convert to opam.eclassAlexis Ballier2017-08-151-10/+3
* dev-ml/ppx_here: Remove oldAlexis Ballier2017-08-152-32/+0
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-5/+8
* dev-ml/ppx_here: bump to 0.9.1Alexis Ballier2017-04-182-0/+32
* dev-ml/ppx_here: add missing dep on ppx_optcompAlexis Ballier2017-04-151-0/+1
* dev-ml/ppx_here: Bump to 0.9.0Alexis Ballier2017-04-022-20/+10
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/ppx_here: remove oldAlexis Ballier2017-02-052-42/+0
* dev-ml/ppx_here: Add build dep onto dev-ml/js-build-tools; bug #608240Alexis Ballier2017-02-051-1/+1
* dev-ml/ppx_here: bump to 113.33.03Alexis Ballier2017-01-302-0/+42
* dev-ml/ppx_here: remove oldAlexis Ballier2017-01-242-42/+0
* dev-ml/ppx_here: bump to 113.33.00Alexis Ballier2016-03-222-0/+42
* dev-ml/ppx_here: use proper install methodAlexis Ballier2016-02-051-8/+16
* dev-ml/ppx_here: initial import; ebuild by meAlexis Ballier2016-02-053-0/+42