/dev-lang/pgi/files/

• ../
• pgi-13.5-glibc.patch
• pgi-13.5-terminal.patch