-
Jean-Christophe Filliâtre authored
rebuild provers-data-conf when necessary; support for Gappa 0.14.0 (but Gappa's driver still to be fixed)
bd85b7ed
MAJ en 17.0.1 terminée.
La release note principale concernant cette MAJ est ici:
rebuild provers-data-conf when necessary; support for Gappa 0.14.0 (but Gappa's driver still to be fixed)