Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/ppxlib/ppxlib-0.18.0.ebuild
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/ppxlib: tidy ebuildSam James2021-10-151-3/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppxlib: add note re version bumpsSam James2021-10-021-0/+5
| | | | | | | Note that we need to be careful to get the dependencies right on each new version. Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppxlib: remove whitespace, fix indentMichael Mair-Keimberger2021-02-121-4/+4
| | | | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/19435 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppxlib: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppxlib: Keyword 0.18.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppxlib: Fix depsMark Wright2020-10-171-4/+6
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
* dev-ml/ppxlib: Add RDEPEND dev-ml/findlib:=Mark Wright2020-10-161-0/+1
| | | | | | | | Thanks to Agostino Sarubbo for reporting. Closes: https://bugs.gentoo.org/748609 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
* dev-ml/ppxlib: Fix QA MissingTestRestrictMark Wright2020-10-151-0/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
* dev-ml/ppxlib: Dependency of dev-ml/ppx_baseMark Wright2020-10-131-0/+29
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>