summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/dafny-bin: bump to 3.8.1Maciej Barć2022-09-021-0/+51