]> git.pld-linux.org Git - packages/coq.git/blame - coq.spec
projects / packages / coq.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
- fix building with lablgtk2 2.6
[packages/coq.git] / coq.spec
CommitLineData
521adcea 1Summary: The Coq Proof Assistant
3432574d 2