Index of /debian/pool/main/g/gprconfig-kb/

../
gprconfig-kb_25.0.0-2.debian.tar.xz                19-Oct-2026 16:50    7848
gprconfig-kb_25.0.0-2.dsc                          19-Oct-2026 16:50    2036
gprconfig-kb_25.0.0-2_all.deb                      19-Oct-2026 16:50     30K
gprconfig-kb_25.0.0.orig.tar.gz                    19-Oct-2026 16:50     43K