Skip to content

Fix OPAM file - #131

Merged
proux01 merged 1 commit into
math-comp:masterfrom
proux01:fix-opam
Aug 20, 2026
Merged

proux01 merged 1 commit into
math-comp:masterfrom
proux01:fix-opam

Fix OPAM file

9d2f1d0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

11 warnings
build (mathcomp/mathcomp:2.5.0-rocq-prover-9.1)
succeeded Aug 20, 2026 in 4m 4s