- official build fix for ocaml 3.09
[packages/coq.git] / coq.spec
CommitLineData
521adcea 1Summary: The Coq Proof Assistant
3432574d 2