Skip to content

Latest commit

 

History

History
40 lines (39 loc) · 1.53 KB

coq-metacoq-pcuic.opam

File metadata and controls

40 lines (39 loc) · 1.53 KB