summaryrefslogtreecommitdiffstats
path: root/devel/coq
ModeNameSize
-rwxr-xr-xBUILD308logstatsplainblame
-rwxr-xr-xDEPENDS225logstatsplainblame
-rwxr-xr-xDETAILS1081logstatsplainblame
-rw-r--r--HISTORY842logstatsplainblame