Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_deriving
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
* dev-ml/ppx_deriving: remove unused patchMichael Mair-Keimberger2017-09-281-21/+0
* dev-ml/ppx_deriving: Remove oldAlexis Ballier2017-09-223-76/+0
* dev-ml/ppx_deriving: keyworded 4.2-r1 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_deriving: fix installation path of ppx_deriving exe like in older ...Alexis Ballier2017-08-251-0/+1
* dev-ml/ppx_deriving: bump to 4.2Alexis Ballier2017-08-243-1/+52
* dev-ml/ppx_deriving: Apply conditional patch, backported from upstream, to bu...Alexis Ballier2017-07-142-0/+22
* dev-ml/ppx_deriving: Fix building ppx_deriving_make caught by running tests, ...Alexis Ballier2017-07-072-2/+22
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-5/+8
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/ppx_deriving: remove oldAlexis Ballier2017-01-243-111/+0
* dev-ml/ppx_deriving: bump to 4.1Alexis Ballier2016-09-262-0/+56
* dev-ml/ppx_deriving: add missing build dep on cppo, bug #593620Alexis Ballier2016-09-131-0/+1
* dev-ml/ppx_deriving: bump to 4.0Alexis Ballier2016-06-272-0/+55
* dev-ml/ppx_deriving: remove oldAlexis Ballier2016-06-274-171/+0
* dev-ml/ppx_deriving: bump to 3.3Alexis Ballier2016-03-162-0/+55
* dev-ml/ppx_deriving: bump to 3.2Alexis Ballier2016-03-022-0/+61
* dev-ml/ppx_deriving: bump to 3.1Alexis Ballier2016-02-172-0/+55
* dev-ml/ppx_deriving: Use opam-installer to install it properlyAlexis Ballier2016-02-061-6/+7
* dev-ml/ppx_deriving: initial import; ebuild by meAlexis Ballier2016-02-053-0/+62