Compile with Coq 8.14
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.
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.