debian/23.0.0-2

Nicolas Boulenguez

@nicolas

e87f6380 · Reupload to unstable for the gnat-12 transition · Dec 27, 2022

libgnatcoll Debian release 23.0.0-2