- finish update to 8.0pl2
[packages/coq.git] / coq.spec
... / ...
CommitLineData
1Summary: The Coq Proof Assistant
2