- kill Icon: field (support for these is obsolete says jbj)
[packages/coq.git] / coq.spec
CommitLineData
521adcea 1Summary: The Coq Proof Assistant
3432574d 2