summarylogtreecommitdiffstats
ModeNameSize
-rw-r--r--.SRCINFO726logstatsplain
-rw-r--r--PKGBUILD1390logstatsplain
-rw-r--r--apalache.service283logstatsplain
-rw-r--r--sys-install.patch1671logstatsplain