Add support for Coq version 8.17.0.
The warnings about deprecated :> in class definitions introduced by https://github.com/coq/coq/pull/16230 are silenced, since they requires Coq 8.17.0 to be fixed properly.
Edited by Rodolphe Lepigre
The warnings about deprecated :> in class definitions introduced by https://github.com/coq/coq/pull/16230 are silenced, since they requires Coq 8.17.0 to be fixed properly.