summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/boogie: bump to 2.16.0Maciej Barć2022-11-282-0/+95
* dev-lang/boogie: bump to 2.15.9Maciej Barć2022-11-182-0/+95
* dev-dotnet/dotnet-sdk-bin: add ICU dependencyMaciej Barć2022-10-081-4/+1
* dev-lang/boogie: fix broken NUGET_PACKAGES variableMaciej Barć2022-10-061-2/+3
* dev-lang/boogie: enable testsMaciej Barć2022-10-061-4/+33
* dev-lang/boogie: add icu dependencyMaciej Barć2022-10-041-1/+4
* dev-lang/boogie: add z3 dependency and debug USE flagMaciej Barć2022-10-041-5/+10
* dev-lang/boogie: new package; add version 2.15.8Maciej Barć2022-10-033-0/+84