summaryrefslogtreecommitdiffstats
path: root/devel/why3
ModeNameSize
-rwxr-xr-xBUILD45logstatsplainblame
-rwxr-xr-xDEPENDS276logstatsplainblame
-rwxr-xr-xDETAILS999logstatsplainblame
-rw-r--r--HISTORY361logstatsplainblame
-rwxr-xr-xINSTALL50logstatsplainblame