debian/2022.0.0-7

Nicolas Boulenguez

@nicolas

7cc9a972 · Disable parallelism in Make, reenable it in sphinx · Jun 07, 2022

gprbuild Debian release 2022.0.0-7