debian/23.0.0-3

Nicolas Boulenguez

@nicolas

1a9e3c60 · Fix the patch so that gnat is detected when gcc is not installed · Dec 28, 2022

gprconfig-kb Debian release 23.0.0-3