| Mode | Name | Size | |
|---|---|---|---|
| d--------- | bin | 33 | logplain |
| -rw-r--r-- | changelog | 141 | logplain |
| -rw-r--r-- | compat | 2 | logplain |
| -rw-r--r-- | control | 789 | 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 |
| -rwxr-xr-x | rules | 260 | logplain |
| d--------- | source | 34 | logplain |
| -rw-r--r-- | watch | 286 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |