/dev-ada/gprconfig_kb/files/
../
gprconfig_kb-24.0.0-gentoo.patch
gprconfig_kb-25.0.0-gentoo.patch