| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2020-02-10 | Updated to 2.3.0 | Felix Golatofski | |
| 2018-11-26 | Initial commit of PKGBUILD from github releases | malet | |