Skip to content

Coq 8.10 no longer supported since #104

Pierre Rouxrequested to merge
proux/rt-proofs:opam-coq-version into master

Since !104 (merged) Coq 8.10 is no longer supported, updating the OPAM file accordingly.

Merge request reports