debian/23.0.0-2

Nicolas Boulenguez

@nicolas

0d5932f8 · Reupload to unstable for the gnat-12 transition · Dec 26, 2022

gprconfig-kb Debian release 23.0.0-2