| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | DafnyPrelude.bpl | 52026 | logplain |
| -rw-r--r-- | DafnyRuntime.cs | 39853 | 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 |
| -rw-r--r-- | z3.exe | 6343680 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |