Index of /pub/linux/gentoo-portage/dev-ada/gprconfig_kb/files/

Filename	Modification time	Size
gprconfig_kb-23.0.0-gentoo.patch	2022-12-03 23:10 CET	5997 B
gprconfig_kb-24.0.0-gentoo.patch	2024-03-13 11:12 CET	5724 B