Index of /gentoo/dev-ada/gprconfig_kb/files/


../
gprconfig_kb-23.0.0-gentoo.patch                   03-Dec-2022 22:10                5997
gprconfig_kb-24.0.0-gentoo.patch                   13-Mar-2024 10:12                5724