debian/23.0.0-1

Nicolas Boulenguez

@nicolas

d7603ffb · Update changelog · Dec 21, 2022

libgnatcoll-db Debian release 23.0.0-1