Skip to content

Update mathcomp-dioid dev dependencies - #3790

Merged
proux01 merged 1 commit into
rocq-prover:masterfrom
theorem-labs:codex/update-dioid-dev
Aug 26, 2026
Merged

Update mathcomp-dioid dev dependencies#3790
proux01 merged 1 commit into
rocq-prover:masterfrom
theorem-labs:codex/update-dioid-dev

Update mathcomp-dioid dev dependencies

4c2d05f
Select commit
Loading
Failed to load commit list.
coqbot-app / GitLab CI job opam-build:5.3.0 (pull request) succeeded Jul 31, 2026 in 0s

Test succeeded on GitLab CI after being retried

View more details on coqbot-app