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: add missing psutil test dependencyMaciej Barć2024-03-101-1/+2
* dev-lang/boogie: bump to 3.1.2Maciej Barć2024-03-082-0/+302
* dev-lang/boogie: drop old 3.0.10Maciej Barć2024-03-082-302/+0
* dev-lang/boogie: Stabilize 3.0.11 amd64, #926440Arthur Zamarin2024-03-081-1/+1
* dev-lang/boogie: drop old 3.1.0Maciej Barć2024-03-052-296/+0
* dev-lang/boogie: bump to 3.1.1Maciej Barć2024-03-052-0/+296
* dev-lang/boogie: drop old 3.0.9Maciej Barć2024-03-042-301/+0
* dev-lang/boogie: bump to 3.1.0Maciej Barć2024-03-042-0/+296
* dev-lang/boogie: Stabilize 3.0.10 amd64, #925654Sam James2024-02-271-1/+1
* dev-lang/boogie: bump to 3.0.12Maciej Barć2024-02-192-0/+297
* dev-lang/boogie: drop old 3.0.8Maciej Barć2024-02-102-300/+0
* dev-lang/boogie: Stabilize 3.0.9 amd64, #923639Arthur Zamarin2024-02-031-1/+1
* dev-lang/boogie: bump to 3.0.11Maciej Barć2024-02-032-0/+301
* dev-lang/boogie: drop old 3.0.6Maciej Barć2024-02-032-291/+0
* dev-lang/boogie: Stabilize 3.0.8 amd64, #921420Matoro Mahri2024-01-271-1/+1
* dev-lang/boogie: bump to 3.0.10Maciej Barć2024-01-222-0/+302
* dev-lang/boogie: disable the z3-hard-timeout testMaciej Barć2024-01-133-3/+6
* dev-lang/boogie: drop old 3.0.5Maciej Barć2023-12-282-288/+0
* dev-lang/boogie: Stabilize 3.0.6 amd64, #920501Maciej Barć2023-12-281-1/+1
* dev-lang/boogie: drop old 3.0.7Maciej Barć2023-12-082-289/+0
* dev-lang/boogie: bump to 3.0.9Maciej Barć2023-12-082-0/+300
* dev-lang/boogie: bump to 3.0.8Maciej Barć2023-11-292-0/+299
* dev-lang/boogie: bump to 3.0.7Maciej Barć2023-11-212-0/+289
* 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