Compilation of the current external submodules produce warnings, as a result of them not having been bumped since moving to Coq 8.17. These should be bumped, and the Aneris repo should be lifted accordingly.
Compilation of the current external submodules produce warnings, as a result of them not having been bumped since moving to Coq 8.17.
These should be bumped, and the Aneris repo should be lifted accordingly.