Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
coqPackages.mathcomp-extra: refactor #88641
Motivation for this change
This PR fixes a few mistakes I did in the design of coqPackages.mathcomp-extra which prevented overriding the initial definition of packages.