debian/2023_20220801-1

Nicolas Boulenguez

@nicolas

d551062b · Build new upstream snapshot with gnat-12 in experimental · Aug 07, 2022

gprbuild Debian release 2023~20220801-1