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