Skip to content

Fix OPAM file

fe725e0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Fix OPAM file #553

Fix OPAM file
fe725e0
Select commit
Loading
Failed to load commit list.
coq
succeeded Aug 18, 2025 in 48s