/dev-ada/gprconfig_kb/files/

• ../
• gprconfig_kb-23.0.0-gentoo.patch