| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| dafny-bin-4.4.0-r1-3.xpak | 2024-03-30 01:31 | 31M | ||
| dafny-bin-4.6.0-3.xpak | 2024-04-30 10:07 | 31M | ||
| dafny-bin-4.7.0-3.xpak | 2024-08-04 23:22 | 31M | ||
| dafny-bin-4.9.1-3.xpak | 2025-02-08 21:53 | 29M | ||
| dafny-bin-4.10.0-3.xpak | 2025-03-18 18:49 | 30M | ||