Skip to content

fix(released): coq-mathcomp {1.18.0, 2.1.0} don't build anymore with coq.dev - #2820

Merged
palmskog merged 1 commit into
rocq-prover:masterfrom
erikmd:adapt-coq-pr-17576
Nov 6, 2023
Merged

fix(released): coq-mathcomp {1.18.0, 2.1.0} don't build anymore with coq.dev#2820
palmskog merged 1 commit into
rocq-prover:masterfrom
erikmd:adapt-coq-pr-17576

fix(released): coq-mathcomp {1.18.0, 2.1.0} don't build anymore with …

a784a85
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs