Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/boogie
Commit message (Collapse)AuthorAgeFilesLines
* dev-lang/boogie: bump to 2.16.0Maciej Barć2022-11-282-0/+95
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 2.15.9Maciej Barć2022-11-182-0/+95
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-dotnet/dotnet-sdk-bin: add ICU dependencyMaciej Barć2022-10-081-4/+1
| | | | | | | putting ICU in optfeature was a bad idea Bug: https://bugs.gentoo.org/874810 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: fix broken NUGET_PACKAGES variableMaciej Barć2022-10-061-2/+3
| | | | | | | | Also use "--source" flag for running "dotnet restore" which will warn when NUGET_PACKAGES directory does not exist. Closes: https://bugs.gentoo.org/875755 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: enable testsMaciej Barć2022-10-061-4/+33
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: add icu dependencyMaciej Barć2022-10-041-1/+4
| | | | | Closes: https://bugs.gentoo.org/874810 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: add z3 dependency and debug USE flagMaciej Barć2022-10-041-5/+10
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: new package; add version 2.15.8Maciej Barć2022-10-033-0/+84
Signed-off-by: Maciej Barć <xgqt@gentoo.org>