debian/22.0.0-4

Nicolas Boulenguez

@nicolas

de70d1cb · Compile C with gnatgcc. Check with autopkgtest. Close #992241 · May 28, 2022

gprconfig-kb Debian release 22.0.0-4