summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/dafny-bin: Stabilize 4.4.0 amd64, #922369Sam James2024-01-181-2/+2
* dev-lang/dafny-bin: bump to 4.4.0Maciej Barć2023-12-132-0/+54
* dev-lang/dafny-bin: drop old 4.2.0Maciej Barć2023-11-152-54/+0
* dev-lang/dafny-bin: drop old 3.12.0Maciej Barć2023-11-152-52/+0
* dev-lang/dafny-bin: Stabilize 4.3.0 amd64, #917301Sam James2023-11-131-1/+1
* dev-lang/dafny-bin: Stabilize 4.2.0 amd64, #916395Arthur Zamarin2023-10-281-1/+1
* dev-lang/dafny-bin: bump to 4.3.0Maciej Barć2023-09-302-0/+54
* dev-lang/dafny-bin: drop old 3.10.0Maciej Barć2023-09-302-52/+0
* dev-lang/dafny-bin: Stabilize 3.12.0 amd64, #914366Sam James2023-09-181-1/+1
* dev-lang/dafny-bin: bump to 4.2.0Maciej Barć2023-09-172-0/+54
* dev-lang/dafny-bin: drop old 3.11.0Maciej Barć2023-09-162-52/+0
* dev-lang/dafny-bin: switch maint to dotnet@gentoo.orgMaciej Barć2023-02-281-3/+3
* dev-lang/dafny-bin: bump to 3.12.0Maciej Barć2023-02-222-0/+52
* dev-lang/dafny-bin: Stabilize 3.10.0 amd64, #892820Sam James2023-02-011-2/+2
* dev-lang/dafny-bin: drop old 3.9.1-r1Maciej Barć2023-02-012-52/+0
* dev-lang/dafny-bin: drop old 3.9.0-r1Maciej Barć2023-02-012-52/+0
* dev-lang/dafny-bin: bump to 3.11.0Maciej Barć2023-02-012-0/+52
* 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