| Age | Commit message | Author |
|---|---|---|
| 2023-12-12 | Update to Dafny 4.4.0 | Tej Chajed |
| 2023-11-29 | Update to Dafny 4.3.0 | Tej Chajed |
| 2023-07-28 | Update to Dafny 4.2.0 | Tej Chajed |
| 2023-05-10 | Update to Dafny 4.1.0 | Tej Chajed |
| 2023-03-02 | Update to Dafny 3.13.1 | Tej Chajed |
| 2023-02-03 | Update to Dafny 3.11.0 | Tej Chajed |
| 2022-12-15 | Update to Dafny 3.10.0 | Tej Chajed |
| 2022-11-02 | Update to Dafny 3.9.1 | Tej Chajed |
| 2022-10-14 | Update to Dafny 3.9.0 | Tej Chajed |
| 2022-09-01 | Update to Dafny 3.8.1 | Tej Chajed |
| [...] | ||
| Clone | ||
| https://aur.archlinux.org/dafny-bin.git/ | ||