why3 does not support coq 8.19
the coq realizations of Why3 theories do not compile with coq 8.19. There should be fixed while maintaining compatibility with former versions of Coq.
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
the coq realizations of Why3 theories do not compile with coq 8.19. There should be fixed while maintaining compatibility with former versions of Coq.