- release 2
[packages/coq.git] / coq.spec
CommitLineData
521adcea 1Summary: The Coq Proof Assistant
3432574d 2