summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Collapse)Author
2024-10-28Update to Dafny 4.9.0Tej Chajed
2024-09-16Update to Dafny 4.8.1Tej Chajed
2024-08-29Update to Dafny 4.8.0Tej Chajed
2024-06-20Update to Dafny 4.7.0Tej Chajed
2024-05-08Update to Dafny 4.6.0Tej Chajed
2023-12-12Update to Dafny 4.4.0Tej Chajed
2023-11-29Update to Dafny 4.3.0Tej Chajed
2023-07-28Update to Dafny 4.2.0Tej Chajed
2023-05-10Update to Dafny 4.1.0Tej Chajed
2023-03-02Update to Dafny 3.13.1Tej Chajed
2023-02-03Update to Dafny 3.11.0Tej Chajed
2022-12-15Update to Dafny 3.10.0Tej Chajed
2022-11-02Update to Dafny 3.9.1Tej Chajed
2022-10-14Update to Dafny 3.9.0Tej Chajed
2022-09-01Update to Dafny 3.8.1Tej Chajed
2022-08-25Update to Dafny 3.8.0Tej Chajed
2022-08-15Update to Dafny 3.7.3Tej Chajed
2022-07-14Update to Dafny 3.7.2Tej Chajed
2022-06-29Update to Dafny 3.7.1Tej Chajed
2022-05-14Update to Dafny 3.6.0Tej Chajed
2022-03-14Update to Dafny 3.5.0Tej Chajed
2022-02-21Update to Dafny 3.4.2Tej Chajed
2022-02-15Update to Dafny 3.4.1Tej Chajed
2022-02-08Update to Dafny 3.4.0Tej Chajed
2021-11-04Update to Dafny 3.3.0Tej Chajed
2021-07-15Update to Dafny 3.2.0Tej Chajed
2021-04-22Update to 3.1.0Tej Chajed
2021-03-02Fix packaging: keep static libsTej Chajed
2021-03-02Update SRCINFOTej Chajed
2020-02-10Updated to 2.3.0Felix Golatofski
2018-11-26Initial commit of PKGBUILD from github releasesmalet