Compatibility with mathcomp.2.6 - #41

Merged

andrew-appel merged 9 commits into

mainfrom

Sep 25, 2026

Commits on Sep 21, 2026

Compatibility with mathcomp.2.6
andrew-appel
committed
7c19dc7
Finished port to mathcomp.2.6 etc., but with libvalidsdp.v removed from _CoqProject because rocq-libvalidsdp is not yet available for mathcomp.2.6
andrew-appel
committed
0898da8

Commits on Sep 22, 2026

Compatibility fixes
andrew-appel
committed
460b2d5
Temporarily remove libvalidsdp from opam dependencies
andrew-appel
committed
79634fd
Update opam dependencies
andrew-appel
committed
9dfe198

Commits on Sep 24, 2026

Update opam file
andrew-appel
committed
b79bcf4

Commits on Sep 25, 2026

Tweak opam file
andrew-appel
committed
857312e
Tweak the opam file
andrew-appel
committed
d489d8d
Correct the name of the opam file in the CI
andrew-appel
committed
fbf4a2d