summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/dafny-bin: drop old 3.8.1-r1Maciej Barć2022-12-152-52/+0
* dev-lang/dafny-bin: bump to 3.10.0Maciej Barć2022-12-152-0/+52
* dev-lang/dafny-bin: depend on lttng-ust with SLOT=0/2.12Maciej Barć2022-11-183-3/+3
* dev-lang/dafny-bin: drop old 3.8.0Maciej Barć2022-11-012-52/+0
* dev-lang/dafny-bin: bump to 3.9.1Maciej Barć2022-11-012-0/+52
* dev-lang/dafny-bin: drop old 3.7.3Maciej Barć2022-10-062-51/+0
* dev-lang/dafny-bin: bump to 3.9.0Maciej Barć2022-10-062-0/+52
* dev-lang/dafny-bin: drop old 3.7.2Maciej Barć2022-09-022-51/+0
* dev-lang/dafny-bin: bump to 3.8.1Maciej Barć2022-09-022-0/+52
* dev-lang/dafny-bin: drop old 3.7.1-r2Maciej Barć2022-08-272-51/+0
* dev-lang/dafny-bin: bump to 3.8.0Maciej Barć2022-08-272-0/+52
* dev-lang/dafny-bin: bump to 3.7.3Maciej Barć2022-07-222-0/+51
* dev-lang/dafny-bin: bump to 3.7.2Maciej Barć2022-07-192-0/+51
* dev-lang/dafny-bin: use insoptsMaciej Barć2022-06-301-2/+2
* dev-lang/dafny-bin: add missing runtime deps; exe bit for ibsMaciej Barć2022-06-301-2/+6
* dev-lang/dafny-bin: new package; add version 3.7.1Maciej Barć2022-06-293-0/+80