summaryrefslogtreecommitdiff
path: root/debian
ModeNameSize
d---------bin33logplain
-rw-r--r--changelog282logplain
-rw-r--r--compat2logplain
-rw-r--r--control765logplain
-rw-r--r--copyright4909logplain
-rw-r--r--dafny.119842logplain
-rw-r--r--dafny.install742logplain
-rw-r--r--dafny.manpages15logplain
-rw-r--r--gbp.conf67logplain
-rwxr-xr-xrules260logplain
d---------source34logplain
-rw-r--r--watch286logplain