debian/23.0.0-3

Nicolas Boulenguez

@nicolas

b62e99a3 · Break/Replace libgnatcoll*-dev since oldstable. Closes: #1034920 · May 10, 2023

libgnatcoll Debian release 23.0.0-3