Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/boogie
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/boogie: bump to 3.0.6Maciej Barć2023-11-172-0/+289
* dev-lang/boogie: drop old 3.0.4Maciej Barć2023-11-172-288/+0
* dev-lang/boogie: Stabilize 3.0.5 amd64, #917307Sam James2023-11-131-1/+1
* dev-lang/boogie: bump to 3.0.5Maciej Barć2023-10-112-0/+288
* dev-lang/boogie: use RollForward=Major to update to .NET 7.0Maciej Barć2023-10-081-5/+2
* dev-lang/boogie: disable analyzersMaciej Barć2023-10-062-1/+21
* dev-lang/boogie: add missing src_unpack to support gitMaciej Barć2023-09-181-0/+8
* dev-lang/boogie: drop old 2.16.0Maciej Barć2023-09-162-96/+0
* dev-lang/boogie: bump to 3.0.4Maciej Barć2023-09-152-0/+472
* dev-lang/boogie: drop old 2.15.9Maciej Barć2023-06-192-95/+0
* dev-lang/boogie: drop old 2.15.8-r4Maciej Barć2023-06-192-94/+0
* dev-lang/boogie: switch maint to dotnet@gentoo.orgMaciej Barć2023-02-281-3/+3
* 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