ada@gentoo.org GPRCONFIG KB is a knowledge base for configuring GPR toolchains, used by GPRbuild and GPR2 projects. adacore/gprconfig_kb