debian/2023_20220801-2

Nicolas Boulenguez

@nicolas

fd6fc166 · Adapt debian/rules to dh-ada-library 8.1, simplify it · Aug 29, 2022

gprbuild Debian release 2023~20220801-2