Graph Theory 0.9.1 is now out on opam:

opam repo add coq-released https://coq.inria.fr/opam/released opam update opam show coq-graph-theory.0.9.1

It works on Coq 8.14 or later and MathComp 1.13 or 1.14.

Last updated: Feb 06 2023 at 05:03 UTC