updating dependences for coq-fcsl-pcm, coq-htt, coq-htt-core, to account for mathcomp 2.3.0#3221

Merged

palmskog merged 2 commits intocoq:masterfrom aleksnanevski:master

Nov 30, 2024

+4-4

Commits on Nov 29, 2024

updating dependencies on coq-mathcomp-ssreflect for version 2.3.0
aleksnanevski
committed
updating dependence for coq-htt-core on coq-mathcomp-ssreflect 2.3.0
aleksnanevski
committed