Skip to content

Latest commit

 

History

History
160 lines (140 loc) · 5.04 KB

coq-opam-package.yml

File metadata and controls

160 lines (140 loc) · 5.04 KB