Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_import
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ppx_import: bump to 1.10.0Alfredo Tupone2023-01-283-2/+35
* dev-ml/ppx_import: require ppxlib>=24.0François-Xavier Carton2022-08-191-1/+1
* dev-ml/ppx_import: new package; add 1.9.1Maciej Barć2022-03-054-0/+53
* dev-ml/*: Remove first set of unneeded leaf packagesMichał Górny2020-01-143-49/+0
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* */*: [QA] Fix trivial cases of MissingTestRestrictMichał Górny2019-12-111-1/+2
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
* dev-ml/ppx_import: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-261-7/+7
* dev-ml/ppx_import: convert to opam.eclassAlexis Ballier2017-08-151-10/+2
* dev-ml/ppx_import: Remove oldAlexis Ballier2017-08-152-48/+0
* dev-ml/ppx_import: bump to 1.2Alexis Ballier2017-04-272-0/+48
* dev-ml/ppx_import: add remoteidAlexis Ballier2017-04-271-0/+3
* dev-ml/ppx_import: fix homepageAlexis Ballier2017-04-271-2/+2
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/ppx_import: initial import; ebuild by meAlexis Ballier2016-09-083-0/+57