debian/23_20220817-1

Nicolas Boulenguez

@nicolas

e9866e8c · New snapshot applying patches, adapt to dh-ada-library 8.1 · Aug 29, 2022

libgnatcoll Debian release 23~20220817-1