summaryrefslogtreecommitdiffstats
path: root/testsuite/external/coq-8.4pl2.patch
AgeCommit message (Expand)Author
2013-11-28testsuite/external: update coq, lablgtk, alt-ergoDamien Doligez