| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | DafnyPrelude.bpl | 52416 | logplain |
| -rw-r--r-- | DafnyRuntime.cs | 40029 | logplain |
| -rw-r--r-- | PrepareDafnyZip.bat | 1546 | logplain |
| -rw-r--r-- | System.Collections.Immutable.dll | 149752 | logplain |
| -rw-r--r-- | Z3-LICENSE.txt | 1115 | logplain |
| -rwxr-xr-x | dafny | 315 | logplain |
| -rw-r--r-- | z3.exe | 11018752 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |