summarylogtreecommitdiffstats
path: root/PKGBUILD
AgeCommit message (Expand)Author
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 to 3.0.0Tej Chajed
2020-02-10Updated to 2.3.0Felix Golatofski
2018-11-26Initial commit of PKGBUILD from github releasesmalet