Mentions légales du service

Skip to content

Compile with Coq 8.14

Pierre Roux requested to merge coq814 into master

Flocq master was not compiling with Coq master/8.14. This should be backward compatible (tested with 8.12), but let's wait for CI confirmation.

Merge request reports