Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Obsolete attachments are hidden. To view all attachments (including obsolete) click here.
Attachment #213029
revised polyml-5.3.ebuild.diff patch 2009-12-14 20:48:58 UTC 393 bytes no flags Details