Skip to content

Files

Latest commit

ed651fc · Feb 12, 2025

History

History
10 lines (10 loc) · 117 Bytes

rocq-stdlib.opam.template

File metadata and controls

10 lines (10 loc) · 117 Bytes