Skip to content

Files

Latest commit

ed651fc · Feb 12, 2025

History

History
6 lines (6 loc) · 65 Bytes

coq-stdlib.opam.template

File metadata and controls

6 lines (6 loc) · 65 Bytes