Code

Cleanup coq-mathcomp-classical.opam#1374

Code

Merged

proux01 merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom proux01:cleanup-opamproux01/analysis:cleanup-opamCopy head branch name to clipboardOct 29, 2024

+2-2

Commits

Commits on Oct 29, 2024

• Cleanup coq-mathcomp-classical.opam

  Show description for a3f0e3c
  proux01

  committed
  a3f0e3c