projects / packages / coq.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
- finish update to 8.0pl2
[packages/coq.git] / coq.spec
CommitLineData
521adcea 1Summary: The Coq Proof Assistant
3432574d 2