Skip to content

Files

Latest commit

3d60180 · Dec 12, 2024

History

History
18 lines (18 loc) · 386 Bytes

rocq-core.opam.template

File metadata and controls

18 lines (18 loc) · 386 Bytes