Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_tools/metadata.xml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/ppx_tools: ml maintains itAlfredo Tupone2021-09-141-0/+4
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* dev-ml/ppx_tools: Bump to 6.2Mark Wright2020-10-131-4/+7
| | | | | | Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
| | | | | Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ppx_tools: fix remote idAlexis Ballier2017-04-041-1/+1
| | | | Package-Manager: Portage-2.3.5, Repoman-2.3.2
* dev-ml/ppx_tools: initial import; ebuild by meAlexis Ballier2016-01-301-0/+11
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>