projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa1980c) | patch
dev-libs/ppl: Remove old EAPI3
authorHarri Nieminen <moikkis@gmail.com>
Fri, 1 Dec 2017 17:51:55 +0000 (19:51 +0200)
committerDavid Seifert <soap@gentoo.org>
Sat, 2 Dec 2017 13:02:47 +0000 (14:02 +0100)
commitbf4d3d3ff9bceda4ecc2f4a9801fd9ca628bde85
treee2e48a1decced7f6416f385a026ee14327519021tree | snapshot
parentfa1980c65dfac5066bd630bfd023ae8b2a9c7dcccommit | diff
dev-libs/ppl: Remove old EAPI3

Package-Manager: Portage-2.3.16, Repoman-2.3.6
Closes: https://github.com/gentoo/gentoo/pull/6384
dev-libs/ppl/Manifest diff | blob | history
dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch [deleted file] blob | history
dev-libs/ppl/ppl-0.12.1-r1.ebuild [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.