| Age | Commit message (Expand) | 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 |
| 2022-08-25 | Update to Dafny 3.8.0 | Tej Chajed |
| 2022-08-15 | Update to Dafny 3.7.3 | Tej Chajed |
| 2022-07-14 | Update to Dafny 3.7.2 | Tej Chajed |
| 2022-06-29 | Update to Dafny 3.7.1 | Tej Chajed |
| 2022-05-14 | Update to Dafny 3.6.0 | Tej Chajed |
| 2022-03-14 | Update to Dafny 3.5.0 | Tej Chajed |
| 2022-02-21 | Update to Dafny 3.4.2 | Tej Chajed |
| 2022-02-15 | Update to Dafny 3.4.1 | Tej Chajed |
| 2022-02-08 | Update to Dafny 3.4.0 | Tej Chajed |
| 2021-11-04 | Update to Dafny 3.3.0 | Tej Chajed |
| 2021-07-15 | Update to Dafny 3.2.0 | Tej Chajed |
| 2021-04-22 | Update to 3.1.0 | Tej Chajed |
| 2021-03-02 | Fix packaging: keep static libs | Tej Chajed |
| 2021-03-02 | Update SRCINFO | Tej Chajed |
| 2021-03-02 | Update to 3.0.0 | Tej Chajed |
| 2020-02-10 | Updated to 2.3.0 | Felix Golatofski |
| 2018-11-26 | Initial commit of PKGBUILD from github releases | malet |