Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Attachment #549666
Patch to template.mk patch 2018-10-07 16:44:33 UTC 744 bytes no flags Details
Attachment #549668
Patch to minisat-2.2.0-r4.ebuild patch 2018-10-07 16:45:15 UTC 416 bytes no flags Details