Mode | Name | Size | |
---|---|---|---|
d--------- | bin | 33 | logplain |
-rw-r--r-- | changelog | 282 | logplain |
-rw-r--r-- | compat | 2 | logplain |
-rw-r--r-- | control | 765 | logplain |
-rw-r--r-- | copyright | 4909 | logplain |
-rw-r--r-- | dafny.1 | 19842 | logplain |
-rw-r--r-- | dafny.install | 742 | logplain |
-rw-r--r-- | dafny.manpages | 15 | logplain |
-rw-r--r-- | gbp.conf | 67 | logplain |
-rwxr-xr-x | rules | 260 | logplain |
d--------- | source | 34 | logplain |
-rw-r--r-- | watch | 286 | logplain |