summaryrefslogtreecommitdiffstats
path: root/devel/coq
ModeNameSize
-rw-r--r--0001-fix-make-detection.patch2235logstatsplainblame
-rwxr-xr-xBUILD302logstatsplainblame
-rwxr-xr-xDEPENDS163logstatsplainblame
-rwxr-xr-xDETAILS1088logstatsplainblame
-rw-r--r--HISTORY463logstatsplainblame
-rwxr-xr-xPRE_BUILD178logstatsplainblame