coq-mathcomp-algebra-tactics 1.0.0 and 1.1.0 are compatible with MathComp 1.17.0#2758

Merged

palmskog merged 1 commit intocoq:masterfrom pi8027:coq-mathcomp-algebra-tactics_dependencies

Oct 12, 2023

+2-2

Commits on Oct 12, 2023

coq-mathcomp-algebra-tactics 1.0.0 and 1.1.0 are compatible with MathComp 1.17.0
pi8027
committed