]> git.pld-linux.org Git - packages/coq.git/blame_incremental - coq.spec
projects / packages / coq.git / blame_incremental
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (non-incremental) | history | HEAD
- kill Icon: field (support for these is obsolete says jbj)
[packages/coq.git] / coq.spec
... / ...
CommitLineData
1Summary: The Coq Proof Assistant
2