Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-lang
/
boogie
SMT-based program verifier
https://github.com/boogie-org/boogie/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-04-17
dev-lang/boogie: Stabilize 3.1.3 amd64, #930159
982b7c8
Sam James
committed on 2024-04-17 23:10:48 UTC
dev-lang/boogie/boogie-3.1.3.ebuild
Commits on 2024-04-13
dev-lang/boogie: bump to 3.1.4
b35eec6
Maciej Barć
committed on 2024-04-13 22:55:49 UTC
dev-lang/boogie/boogie-3.1.4.ebuild
dev-lang/boogie/Manifest
dev-lang/boogie: drop old 3.1.1
b654f19
Maciej Barć
committed on 2024-04-13 22:55:49 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-3.1.1.ebuild
dev-lang/boogie: drop old 3.0.12
cea8083
Maciej Barć
committed on 2024-04-13 22:55:48 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-3.0.12.ebuild
dev-lang/boogie: drop old 3.0.11
38d9fd3
Maciej Barć
committed on 2024-04-13 22:55:48 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-3.0.11.ebuild
Commits on 2024-04-11
dev-lang/boogie: Stabilize 3.1.2 amd64, #929111
fe6b063
Arthur Zamarin
committed on 2024-04-11 04:55:37 UTC
dev-lang/boogie/boogie-3.1.2.ebuild
Commits on 2024-03-13
dev-lang/boogie: bump to 3.1.3
5be4374
Maciej Barć
committed on 2024-03-13 16:40:17 UTC
dev-lang/boogie/boogie-3.1.3.ebuild
dev-lang/boogie/Manifest
Commits on 2024-03-10
dev-lang/boogie: add missing psutil test dependency
57b2fa0
Maciej Barć
committed on 2024-03-10 00:29:23 UTC
dev-lang/boogie/boogie-3.1.2.ebuild
Commits on 2024-03-08
dev-lang/boogie: bump to 3.1.2
8402d7e
Maciej Barć
committed on 2024-03-08 22:18:01 UTC
dev-lang/boogie/boogie-3.1.2.ebuild
dev-lang/boogie/Manifest
dev-lang/boogie: drop old 3.0.10
a1fde72
Maciej Barć
committed on 2024-03-08 22:18:00 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-3.0.10.ebuild
dev-lang/boogie: Stabilize 3.0.11 amd64, #926440
d9f4cd1
Arthur Zamarin
committed on 2024-03-08 13:09:31 UTC
dev-lang/boogie/boogie-3.0.11.ebuild
Commits on 2024-03-05
dev-lang/boogie: drop old 3.1.0
6096190
Maciej Barć
committed on 2024-03-05 18:46:01 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-3.1.0.ebuild
dev-lang/boogie: bump to 3.1.1
a0c345f
Maciej Barć
committed on 2024-03-05 18:46:01 UTC
dev-lang/boogie/boogie-3.1.1.ebuild
dev-lang/boogie/Manifest
Commits on 2024-03-04
dev-lang/boogie: drop old 3.0.9
d1358fe
Maciej Barć
committed on 2024-03-04 21:56:45 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-3.0.9.ebuild
dev-lang/boogie: bump to 3.1.0
71986f5
Maciej Barć
committed on 2024-03-04 21:56:44 UTC
dev-lang/boogie/boogie-3.1.0.ebuild
dev-lang/boogie/Manifest
Commits on 2024-02-27
dev-lang/boogie: Stabilize 3.0.10 amd64, #925654
6a52d59
Sam James
committed on 2024-02-27 23:57:29 UTC
dev-lang/boogie/boogie-3.0.10.ebuild
Commits on 2024-02-19
dev-lang/boogie: bump to 3.0.12
7aec3f2
Maciej Barć
committed on 2024-02-19 20:54:31 UTC
dev-lang/boogie/boogie-3.0.12.ebuild
dev-lang/boogie/Manifest
Commits on 2024-02-10
dev-lang/boogie: drop old 3.0.8
404b3f2
Maciej Barć
committed on 2024-02-10 16:24:47 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-3.0.8.ebuild
Commits on 2024-02-03
dev-lang/boogie: Stabilize 3.0.9 amd64, #923639
025e3e4
Arthur Zamarin
committed on 2024-02-03 08:21:56 UTC
dev-lang/boogie/boogie-3.0.9.ebuild
Commits on 2024-02-02
dev-lang/boogie: bump to 3.0.11
05116d7
Maciej Barć
committed on 2024-02-02 23:06:28 UTC
dev-lang/boogie/boogie-3.0.11.ebuild
dev-lang/boogie/Manifest
dev-lang/boogie: drop old 3.0.6
97f2bc0
Maciej Barć
committed on 2024-02-02 23:06:27 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-3.0.6.ebuild
Commits on 2024-01-27
dev-lang/boogie: Stabilize 3.0.8 amd64, #921420
6ae699d
Matoro Mahri
authored
and
Ionen Wolkens
committed on 2024-01-27 19:48:34 UTC
dev-lang/boogie/boogie-3.0.8.ebuild
Commits on 2024-01-22
dev-lang/boogie: bump to 3.0.10
1c36c7b
Maciej Barć
committed on 2024-01-22 22:19:21 UTC
dev-lang/boogie/boogie-3.0.10.ebuild
dev-lang/boogie/Manifest
Commits on 2024-01-12
dev-lang/boogie: disable the z3-hard-timeout test
c429476
Maciej Barć
committed on 2024-01-12 23:21:58 UTC
dev-lang/boogie/boogie-3.0.6.ebuild
dev-lang/boogie/boogie-3.0.8.ebuild
dev-lang/boogie/boogie-3.0.9.ebuild
Commits on 2023-12-27
dev-lang/boogie: drop old 3.0.5
cca4166
Maciej Barć
committed on 2023-12-27 23:44:40 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-3.0.5.ebuild
dev-lang/boogie: Stabilize 3.0.6 amd64, #920501
379ebb1
Maciej Barć
committed on 2023-12-27 23:44:39 UTC
dev-lang/boogie/boogie-3.0.6.ebuild
Commits on 2023-12-08
dev-lang/boogie: drop old 3.0.7
6064daf
Maciej Barć
committed on 2023-12-08 08:31:15 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-3.0.7.ebuild
dev-lang/boogie: bump to 3.0.9
c3bcc16
Maciej Barć
committed on 2023-12-08 08:31:15 UTC
dev-lang/boogie/boogie-3.0.9.ebuild
dev-lang/boogie/Manifest
Commits on 2023-11-29
dev-lang/boogie: bump to 3.0.8
af213f5
Maciej Barć
committed on 2023-11-29 19:31:00 UTC
dev-lang/boogie/boogie-3.0.8.ebuild
dev-lang/boogie/Manifest
Commits on 2023-11-21
dev-lang/boogie: bump to 3.0.7
3865ab5
Maciej Barć
committed on 2023-11-21 18:37:47 UTC
dev-lang/boogie/boogie-3.0.7.ebuild
dev-lang/boogie/Manifest
Commits on 2023-11-16
dev-lang/boogie: bump to 3.0.6
d699dd0
Maciej Barć
committed on 2023-11-16 23:38:13 UTC
dev-lang/boogie/boogie-3.0.6.ebuild
dev-lang/boogie/Manifest
dev-lang/boogie: drop old 3.0.4
4de4134
Maciej Barć
committed on 2023-11-16 23:38:13 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-3.0.4.ebuild
Commits on 2023-11-13
dev-lang/boogie: Stabilize 3.0.5 amd64, #917307
6f78670
Sam James
committed on 2023-11-13 22:03:56 UTC
dev-lang/boogie/boogie-3.0.5.ebuild
Commits on 2023-10-11
dev-lang/boogie: bump to 3.0.5
f315ff4
Maciej Barć
committed on 2023-10-11 00:19:37 UTC
dev-lang/boogie/boogie-3.0.5.ebuild
dev-lang/boogie/Manifest
Commits on 2023-10-07
dev-lang/boogie: use RollForward=Major to update to .NET 7.0
8fc067f
Maciej Barć
committed on 2023-10-07 22:39:04 UTC
dev-lang/boogie/boogie-3.0.4.ebuild
Commits on 2023-10-06
dev-lang/boogie: disable analyzers
69d7a05
Maciej Barć
committed on 2023-10-06 15:20:47 UTC
dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch
dev-lang/boogie/boogie-3.0.4.ebuild
Commits on 2023-09-17
dev-lang/boogie: add missing src_unpack to support git
735fa9c
Maciej Barć
committed on 2023-09-17 22:37:21 UTC
dev-lang/boogie/boogie-3.0.4.ebuild
Commits on 2023-09-16
dev-lang/boogie: drop old 2.16.0
327be7a
Maciej Barć
committed on 2023-09-16 14:47:35 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-2.16.0.ebuild
Commits on 2023-09-15
dev-lang/boogie: bump to 3.0.4
1298f4a
Maciej Barć
committed on 2023-09-15 20:48:43 UTC
dev-lang/boogie/boogie-3.0.4.ebuild
dev-lang/boogie/Manifest
Commits on 2023-06-19
dev-lang/boogie: drop old 2.15.9
a967e8e
Maciej Barć
committed on 2023-06-19 18:29:34 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-2.15.9.ebuild
dev-lang/boogie: drop old 2.15.8-r4
c9edae2
Maciej Barć
committed on 2023-06-19 18:29:34 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-2.15.8-r4.ebuild
Commits on 2023-02-28
dev-lang/boogie: switch maint to dotnet@gentoo.org
98b9be6
Maciej Barć
committed on 2023-02-28 18:03:17 UTC
dev-lang/boogie/metadata.xml
Commits on 2022-11-28
dev-lang/boogie: bump to 2.16.0
25d4c54
Maciej Barć
committed on 2022-11-28 20:33:18 UTC
dev-lang/boogie/boogie-2.16.0.ebuild
dev-lang/boogie/Manifest
Commits on 2022-11-18
dev-lang/boogie: bump to 2.15.9
2032b32
Maciej Barć
committed on 2022-11-18 00:53:08 UTC
dev-lang/boogie/boogie-2.15.9.ebuild
dev-lang/boogie/Manifest
Commits on 2022-10-07
dev-dotnet/dotnet-sdk-bin: add ICU dependency
c2a73fc
Maciej Barć
committed on 2022-10-07 22:42:14 UTC
dev-lang/boogie/boogie-2.15.8-r4.ebuild
dev-lang/boogie/boogie-2.15.8-r3.ebuild
Commits on 2022-10-06
dev-lang/boogie: fix broken NUGET_PACKAGES variable
0802461
Maciej Barć
committed on 2022-10-06 20:54:40 UTC
dev-lang/boogie/boogie-2.15.8-r3.ebuild
dev-lang/boogie/boogie-2.15.8-r2.ebuild
dev-lang/boogie: enable tests
8e0e616
Maciej Barć
committed on 2022-10-06 14:27:36 UTC
dev-lang/boogie/boogie-2.15.8-r2.ebuild
Commits on 2022-10-04
dev-lang/boogie: add icu dependency
0b4089e
Maciej Barć
committed on 2022-10-04 15:24:45 UTC
dev-lang/boogie/boogie-2.15.8-r2.ebuild
dev-lang/boogie/boogie-2.15.8-r1.ebuild
dev-lang/boogie: add z3 dependency and debug USE flag
f610854
Maciej Barć
committed on 2022-10-04 01:50:24 UTC
dev-lang/boogie/boogie-2.15.8-r1.ebuild
dev-lang/boogie/boogie-2.15.8.ebuild
Commits on 2022-10-03
dev-lang/boogie: new package; add version 2.15.8
8ac30bc
Maciej Barć
committed on 2022-10-03 21:38:09 UTC
dev-lang/boogie/Manifest
dev-lang/boogie/boogie-2.15.8.ebuild
dev-lang/boogie/metadata.xml