avoid warnings emitted by Coq#76

ybertot wants to merge 3 commits intorocq-community:coq-masterrocq-community/coq-dpdgraph:coq-masterfrom

ybertot:coq-deprecation-8.13ybertot/coq-dpdgraph:coq-deprecation-8.13Copy head branch name to clipboard