coq-reglang.1.1.3, coq-mathcomp-finmap.1.5.2, coq-graph-theory.0.9.2 compat with MC 1.18.0#2811

Merged

palmskog merged 1 commit intocoq:masterfrom palmskog:ssr-1.18-compat

Nov 2, 2023

+3-3

Commits on Nov 1, 2023

coq-reglang.1.1.3, coq-mathcomp-finmap.1.5.2, and coq-graph-theory.0.9.2 are compatible with MC 1.18.0
palmskog
committed