summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/dafny-bin: use insoptsMaciej Barć2022-06-301-0/+50