| Mode | Name | Size | |
|---|---|---|---|
| d--------- | bin | 33 | logplain |
| -rw-r--r-- | changelog | 280 | logplain |
| -rw-r--r-- | compat | 2 | logplain |
| -rw-r--r-- | control | 765 | logplain |
| -rw-r--r-- | copyright | 5003 | 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 |
| d--------- | patches | 80 | 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 |