summaryrefslogtreecommitdiff
path: root/community/coq
ModeNameSize
-rw-r--r--PKGBUILD783logplain
-rw-r--r--camlp5-latest-fix.diff14005logplain