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 3.4.2Maciej Barć7 days2-0/+311
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 3.4.1Maciej Barć2024-10-252-0/+309
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.2.4Maciej Barć2024-10-252-311/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: Stabilize 3.2.5 amd64, #942016Sam James2024-10-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/boogie: drop old 3.3.2Maciej Barć2024-10-232-310/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.3.0Maciej Barć2024-10-232-310/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 3.3.3Maciej Barć2024-10-152-0/+310
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 3.3.2Maciej Barć2024-10-132-0/+310
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 3.3.0Maciej Barć2024-10-092-0/+310
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.2.3Maciej Barć2024-10-092-308/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: Stabilize 3.2.4 amd64, #940283Arthur Zamarin2024-09-271-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/boogie: bump to 3.2.5Maciej Barć2024-09-122-0/+311
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.2.1Maciej Barć2024-09-122-308/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.2.0Maciej Barć2024-09-122-307/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: Stabilize 3.2.3 amd64, #938978Jakov Smolić2024-09-031-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-lang/boogie: Stabilize 3.2.1 amd64, #938449Michał Górny2024-08-241-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-lang/boogie: drop old 3.1.6Maciej Barć2024-08-162-306/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 3.2.4Maciej Barć2024-08-162-0/+311
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: Stabilize 3.2.0 amd64, #937702Arthur Zamarin2024-08-101-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/boogie: bump to 3.2.3Maciej Barć2024-07-312-0/+308
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 3.2.1Maciej Barć2024-07-192-0/+308
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 3.2.0Maciej Barć2024-07-042-0/+307
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.1.5Maciej Barć2024-06-282-304/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: Stabilize 3.1.6 amd64, #934897Sam James2024-06-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/boogie: drop old 3.1.4Maciej Barć2024-06-252-304/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: Stabilize 3.1.5 amd64, #932859Jakov Smolić2024-05-291-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-lang/boogie: use edo instead of edobMaciej Barć2024-05-242-2/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 3.1.6Maciej Barć2024-05-242-0/+306
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.1.3Maciej Barć2024-05-242-304/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: Stabilize 3.1.4 amd64, #932113Sam James2024-05-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/boogie: bump to 3.1.5Maciej Barć2024-04-242-0/+304
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.1.2Maciej Barć2024-04-242-303/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: Stabilize 3.1.3 amd64, #930159Sam James2024-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/boogie: bump to 3.1.4Maciej Barć2024-04-142-0/+304
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.1.1Maciej Barć2024-04-142-296/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.0.12Maciej Barć2024-04-142-297/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.0.11Maciej Barć2024-04-142-301/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: Stabilize 3.1.2 amd64, #929111Arthur Zamarin2024-04-111-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/boogie: bump to 3.1.3Maciej Barć2024-03-132-0/+304
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: add missing psutil test dependencyMaciej Barć2024-03-101-1/+2
| | | | | Closes: https://bugs.gentoo.org/926537 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 3.1.2Maciej Barć2024-03-082-0/+302
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.0.10Maciej Barć2024-03-082-302/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: Stabilize 3.0.11 amd64, #926440Arthur Zamarin2024-03-081-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/boogie: drop old 3.1.0Maciej Barć2024-03-052-296/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 3.1.1Maciej Barć2024-03-052-0/+296
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.0.9Maciej Barć2024-03-042-301/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 3.1.0Maciej Barć2024-03-042-0/+296
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: Stabilize 3.0.10 amd64, #925654Sam James2024-02-271-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/boogie: bump to 3.0.12Maciej Barć2024-02-192-0/+297
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.0.8Maciej Barć2024-02-102-300/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>