pentoo-overlay/profiles/pentoo/default/linux/arm/armv6j
2018-02-07 11:55:19 -05:00
..
bleeding_edge
bootstrap
EAPI
parent profile: for the most part, the 13 and 17 profiles aren't that different, the upgrade should be pretty painless with pentoo-updater already 2018-02-07 11:55:19 -05:00