Skip to content

Address the deprecation warnings introduced in MathComp <= 2.4 - #106

Merged
proux01 merged 2 commits into
masterfrom
deprecation_mc2.4
Jul 21, 2026
Merged

Address the deprecation warnings introduced in MathComp <= 2.4#106
proux01 merged 2 commits into
masterfrom
deprecation_mc2.4

Commits

Commits on Jul 20, 2026

Commits on Jul 21, 2026