aboutsummaryrefslogtreecommitdiffstats
path: root/non-free/compcert
ModeNameSize
-rw-r--r--APKBUILD1400logstatsplain
-rw-r--r--fix-cprepro-options.patch1799logstatsplain