{"bugs":[],"categories":[{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."},{"categoryid":396,"name":"virtual","summary":"The virtual category contains packages which satisfy virtual dependencies."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"865e3a619a6e737699899c3c3bf3f7b997cb0636","committime":"2025-05-05T15:44:37","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3d9765906672cbdca542b23ffec8184ef133256a","committime":"2025-05-05T12:03:30","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.5.2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a63edb8a2a7a19fc9e93ea9515ce347b5ce325a1","committime":"2025-05-05T11:57:33","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.4.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3635c2030001badce8b29c5180aaa276392b6343","committime":"2025-04-28T05:35:12","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"6b7a4590e380afa55fcf3202a4043ec76ab13937","committime":"2025-04-28T05:11:17","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.5.1 amd64, #954683"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"37dbdcae477009dd50af8883b26556ad1accdd78","committime":"2025-03-16T21:19:01","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"08421fa17a68cb765165bc012fbd75264bc943ac","committime":"2025-03-16T21:04:38","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.5.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c7d56054c204ceb2d112635d6eb69d812b6079d6","committime":"2025-03-16T20:50:47","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.4.2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d9e417d120ab28a48c543319c33f80017848e710","committime":"2025-03-16T20:50:25","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.4.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c5365f3fba51421c4fef63a376d09cce7729aa16","committime":"2025-03-16T20:50:04","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.3.3"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"81e61a067d3a69241cc41992abd43b828460f3e3","committime":"2025-03-16T20:49:43","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.2.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c422f746c1b8423e76c28b021b7447dccc700d8a","committime":"2024-12-28T16:18:13","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"fe59f9ed0273e3bfa75d8f977974a66846f84a55","committime":"2024-12-28T16:01:14","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.4.3 amd64, #947133"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2d2878b91dd84625877b28215ca65fba4e6bf7ad","committime":"2024-11-27T22:20:13","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"cb400dfff49bf7c0bd8f9c0a3dbd93f17d857cd4","committime":"2024-11-27T19:36:32","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.4.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"59e00f91407127298e125e8ce46064ede0c72196","committime":"2024-11-22T21:48:18","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"1cb7588b512b2e5e56d438fd5a7cdb748fa662c3","committime":"2024-11-22T21:18:20","packageid":75498,"repoid":1,"summary":"Rename dev-python\/{OutputCheck → outputcheck}"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e1266a252677399cd02ed1be39548773ec2fa0a1","committime":"2024-11-14T23:48:20","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"866337baaf0ffcd4d2e3e727c9c1a865ba7ff495","committime":"2024-11-14T20:59:57","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.4.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"faac412e3827377b6c84876d852c2e0aeea859fb","committime":"2024-10-25T19:05:14","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"da527b72b25834f1f7d27d38522673f9e8989e0a","committime":"2024-10-25T18:46:44","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.4.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3195c639aa0412a28ff196ad0e2430790d0ff442","committime":"2024-10-25T18:42:15","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.2.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7eedae66da080ede28eda35f07bfafa9dd9861da","committime":"2024-10-23T17:18:15","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"95acf079efbbce600f5dd5d7cc359ac00f437b79","committime":"2024-10-23T17:03:22","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.2.5 amd64, #942016"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1fde33845fb7823c6cf36c7944ae891064659959","committime":"2024-10-23T15:48:21","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ea1f3678a333005f71499b393a7fc2453450a49f","committime":"2024-10-23T14:43:39","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.3.2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"4b98c66bf5995c4a8c3d77fbdb30f4487cd66b4a","committime":"2024-10-23T14:43:13","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.3.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e27afb037e3f43da866400fe2cedcddb9d341359","committime":"2024-10-15T14:48:19","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"48c322c288c154842f04aa12576e6cd6ce511c85","committime":"2024-10-15T13:51:48","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.3.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"34e68c30e3409a2b04da8a83f11e6ad783bd2404","committime":"2024-10-13T19:33:14","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c81a58afca7839bd9fd65985e544ef1c822c63f9","committime":"2024-10-13T17:08:16","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.3.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"04caa3be5eaa1e164c90a7528625c4f827821751","committime":"2024-10-08T23:18:13","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c917576acf357b2127da187fd247ea3a16f05050","committime":"2024-10-08T18:42:11","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.3.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d04218b0b077f517df4e0fa84559505274a51454","committime":"2024-10-08T18:26:09","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.2.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"36a5d06e546004a26b01d769da83af6e71abcced","committime":"2024-09-27T05:51:12","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"56cd679dd820e51481d5714ca473bf9c4be94382","committime":"2024-09-27T05:30:02","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.2.4 amd64, #940283"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b7273dd6e4acf7c1b5a6e77b17fa9dc52962234e","committime":"2024-09-12T12:19:02","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ebeff6b8c9499a4bece1b51e79634b4e440b95ef","committime":"2024-09-12T11:56:18","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.2.5"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"79e7f4aa22d0056fe042d453ea3d22f8a03cc798","committime":"2024-09-12T11:51:00","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.2.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"306479210d2547dcde4e657dc549d5d44dd5f001","committime":"2024-09-12T11:50:35","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.2.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c7da5a05049bec35af252b168f17f3ee4ee4888f","committime":"2024-09-03T18:48:45","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"44350b796f53f17955d92c29807915bd0ebebe13","committime":"2024-09-03T18:32:09","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.2.3 amd64, #938978"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"16f785d8fa247abbae3e9534f471b409e1a6ed4a","committime":"2024-08-24T13:18:50","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"09d79dc95f8b7b925d69ee5d8a7b9bfbb7d98990","committime":"2024-08-24T13:11:55","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.2.1 amd64, #938449"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a39f3a3bc8db1aea97bf451d7091485059e31a88","committime":"2024-08-16T16:34:00","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8ac5ab71f3700b53a3271faf9e1d7cec0719955b","committime":"2024-08-16T15:01:32","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.1.6"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c90dfe51a3f09af7eaf960987586bf7f9c5af129","committime":"2024-08-16T13:57:50","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.2.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0bfe9ed41d61c90140ab489e02e29c51cd92f2ac","committime":"2024-08-10T19:03:52","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"a80fd26d6324399a225109884fd7f014e37ffd1b","committime":"2024-08-10T18:55:44","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.2.0 amd64, #937702"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3fa3fda7ecd0cb2fa6f57c94111ae4984c008c32","committime":"2024-07-31T00:19:27","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"fea2a326ec25d62ac1265470cf7f4f5d19aefe65","committime":"2024-07-30T13:50:10","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.2.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0d1e7c3d060f84e48ccccad85801723a85009442","committime":"2024-07-19T11:19:30","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b7c4d541b898e82df8c5e06d938103f442d5c89e","committime":"2024-07-19T10:47:35","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.2.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"70cd9434e52a6ddf4d4201d62255dac323295843","committime":"2024-07-04T17:22:53","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ca58dce36b3329e0b6f51739c9ab450d889f4fe8","committime":"2024-07-04T12:37:12","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.2.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0f54615c9ebe139b7a3b4598bc8383effffbeac9","committime":"2024-06-27T22:48:56","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"dd545526c2d393f4aafb33eb6fc3655d82c3af69","committime":"2024-06-27T13:20:36","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.1.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2157787fd648671a3b90e900027caa449caafd6f","committime":"2024-06-25T22:19:03","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"4d9e4a57f68d25bc92caeda4033f6a7dcaeb49a6","committime":"2024-06-25T22:00:58","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.1.6 amd64, #934897"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3a0090b48a23931ad055dc65804b20c626679a1b","committime":"2024-06-25T15:37:25","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"bf24d55b86b7d97f555734caabcc0dd8a2bbbc3d","committime":"2024-06-25T14:31:16","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.1.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"86a2005f09c4ad2de94aae96529ee5a706a294c2","committime":"2024-05-29T06:33:55","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"5af4d9927a7502272515779dd771bd6c7357aed7","committime":"2024-05-29T06:25:23","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.1.5 amd64, #932859"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"19b29baec7902fe4010f23154700e3318f6aaa83","committime":"2024-05-23T22:18:42","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a98af1509eec18f68b78607369e145934e9c90f3","committime":"2024-05-23T21:21:07","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: use edo instead of edob"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6d0cd00432ebe4f14003ce20111cb93a4971c997","committime":"2024-05-23T21:15:48","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.1.6"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"311136bc77ac107e7d55fa1dd16630012da44e90","committime":"2024-05-23T20:18:55","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.1.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b6cb5585c4c2fa261357d3c12e2868185577c335","committime":"2024-05-18T03:35:28","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"677772ac6c6aa24099ecd67ca23a00ccd9cda19b","committime":"2024-05-18T03:19:06","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.1.4 amd64, #932113"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9fe8004ff742b39e46f388ba357359df4ac032d7","committime":"2024-04-24T17:19:00","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"378ea2c49236a90f367c0bac9ce63ab39f9ede50","committime":"2024-04-24T13:07:37","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.1.5"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"df4fad733ff779e3bb6a5977101c061e171420fd","committime":"2024-04-24T13:02:52","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.1.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f91741eea3ac811bb4445d257207d5c34d5d0477","committime":"2024-04-17T23:18:57","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"982b7c8f7732543cbad1c8fecc41af7aa652691c","committime":"2024-04-17T23:10:48","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.1.3 amd64, #930159"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c5145907801462107fa97984857a0326c26f9942","committime":"2024-04-13T23:03:59","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b35eec60fcb7f6d0d7e9c539a42b3a7f51153c71","committime":"2024-04-13T22:14:03","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.1.4"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b654f192e0cc6b2c3c0397c279c2db6d6a1a1db8","committime":"2024-04-13T22:07:37","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.1.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"cea808376e6cc29b3c8fe134a96bfc635b23b60d","committime":"2024-04-13T22:07:18","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.0.12"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"38d9fd370922921c0a0beee36c50fa9ba67ab800","committime":"2024-04-13T22:06:58","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.0.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c9719ac5c451064dde0aeea4d588196dbf3165d5","committime":"2024-04-11T05:03:49","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"fe6b063922255df3e7481623f63845460586e74c","committime":"2024-04-11T04:55:37","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.1.2 amd64, #929111"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6e9cb50b4e7931bd2e086d0a607be7c4ef7232cd","committime":"2024-03-13T16:49:07","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"5be4374c17eceecaceb3720c3700acfdd70bce46","committime":"2024-03-13T15:49:35","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.1.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0f878f9417b67bafe39df7bdb4707831c508e34e","committime":"2024-03-10T00:37:47","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/926537\nSigned-off-by: Maciej Barć ","commitid":"57b2fa0ca5e3648d596195fa9298d498878ed331","committime":"2024-03-09T20:45:49","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: add missing psutil test dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8d8079ed7104248a3ceef7439ba86acf68408a48","committime":"2024-03-08T22:33:57","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8402d7eb95fb1c099c6de13c8bc802cb67da6334","committime":"2024-03-08T22:00:02","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.1.2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a1fde72e8abe7e1a892704662f810f426c43b8af","committime":"2024-03-08T21:24:25","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.0.10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"28e4efd3c0318ace72221646a68e9720e57c8877","committime":"2024-03-08T13:18:50","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"d9f4cd19656a1a6b9eb5ee6c9781592317c36f9f","committime":"2024-03-08T13:09:31","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.0.11 amd64, #926440"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0ce8c551168210886acc94490083a24b4e3bde45","committime":"2024-03-05T19:03:51","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6096190e895aa0b709f2c8b5fe3b15666595b8a3","committime":"2024-03-05T18:35:04","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.1.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a0c345f0f93e693ed3821c2bebdf5104c1e1e7a6","committime":"2024-03-05T17:57:29","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.1.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"54658f1c9105f4f246be05f1ebba6bd31092b897","committime":"2024-03-04T22:04:02","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d1358fe5af011c68e55310485b95f9d69ec9e83d","committime":"2024-03-04T18:36:19","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.0.9"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"71986f53e6c5b4eebca1ae272d85a26e2bf2e5ac","committime":"2024-03-04T18:03:26","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.1.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"23f8b0617728790eeb73d46ac5fa7f6e87d9aeeb","committime":"2024-02-28T00:04:00","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"6a52d59f3c5ec3ded3219e24f9afd575a9971ae5","committime":"2024-02-27T23:57:29","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.0.10 amd64, #925654"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0b26f18b2cb2693f772e0f464b8306f4ac39a879","committime":"2024-02-19T21:03:52","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7aec3f2b3a7179cd0a174f94ef8280a614cdaf3d","committime":"2024-02-19T20:21:36","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.0.12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5d9800da116fd4d3c8409edeb24fe53ef6ddd4d6","committime":"2024-02-10T16:33:23","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"404b3f274ab5584dcd952190e20c9f1abb27c1b8","committime":"2024-02-10T12:50:57","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.0.8"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e76fc4f46f8d5797fe51095302638d9bce1e0d55","committime":"2024-02-03T08:33:15","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"025e3e4707a73c7e137fe72c72dd1f084ae49fb6","committime":"2024-02-03T08:21:56","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.0.9 amd64, #923639"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"32bf82ee0328363935a56aeafed78de73fefcec9","committime":"2024-02-02T23:18:24","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"05116d7eb1d0a3ace5fa321afe59d32bf5277e04","committime":"2024-02-02T18:37:47","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.0.11"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"97f2bc0289b82f02a33c0406eb68c0dab610daae","committime":"2024-02-02T18:36:58","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.0.6"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"18183f97bb800c715b24c426f1c37f76889849ce","committime":"2024-01-27T20:18:11","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"matoro_gentoo@matoro.tk","authorname":"Matoro Mahri","body":"Signed-off-by: Matoro Mahri \nSigned-off-by: Ionen Wolkens ","commitid":"6ae699d5a7527c96eaae04aa3ff9eb3491ae6895","committime":"2024-01-27T18:24:55","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.0.8 amd64, #921420"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b993fdfabebe9af884ab9c0666d691456dba51cd","committime":"2024-01-22T22:35:07","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"1c36c7bde550593bfad87722376b57a1564e3677","committime":"2024-01-22T20:40:03","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.0.10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"744f036681cdf606a68a4706475e5ac3f4c22506","committime":"2024-01-12T23:37:19","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/921948\nSigned-off-by: Maciej Barć ","commitid":"c4294764f72a31de0fd5a013151a2fd8807ad0af","committime":"2024-01-12T19:54:41","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: disable the z3-hard-timeout test"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d7d80072135e95d84897bb69a8c1bdfc0d88cdae","committime":"2023-12-27T23:46:53","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"cca4166904dd005021c360c4cb71deb23b51a366","committime":"2023-12-27T23:39:25","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.0.5"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/920501\nSigned-off-by: Maciej Barć ","commitid":"379ebb1dcdddb97cadf0bcadfeea7ca652035bfa","committime":"2023-12-27T23:36:59","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.0.6 amd64, #920501"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"39c5c188b7d83f140bceb424c64e8c65d5126ac4","committime":"2023-12-08T08:46:46","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6064daf6bb0955312ddf5f8b256d83edce3582e2","committime":"2023-12-08T08:26:03","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.0.7"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c3bcc160f8b5748e99b6ab66605cde6475a48091","committime":"2023-12-08T08:20:10","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.0.9"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"14c2e18c26d0b3acfdd625102a89e52becb351e6","committime":"2023-11-29T19:48:54","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"af213f56fc4794a49320883a82234aa11fb4fbfe","committime":"2023-11-29T19:30:12","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.0.8"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d3e920afafa885aab7105e1e8e200dd8e0eebb14","committime":"2023-11-21T18:46:50","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3865ab5fdd44dc6af032f9c209b84a04bad7e4c6","committime":"2023-11-21T18:32:50","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.0.7"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"88982c949a02810a04afbd59b2635493dd9c9f96","committime":"2023-11-16T23:46:57","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d699dd077fe20877c926e48ee54aa70362d74264","committime":"2023-11-16T23:04:14","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.0.6"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"4de4134fa70f3fc35ee59b5e54d2c7684d433bd7","committime":"2023-11-16T22:48:09","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 3.0.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"807791ca2d7beff4f564ee4007dbe8c204a169db","committime":"2023-11-13T22:18:52","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"6f78670152235bc2bf9e71aca73a349a7d09deca","committime":"2023-11-13T22:03:56","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: Stabilize 3.0.5 amd64, #917307"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e27564175b628dcc2bf5a234b941b12cbe2f2962","committime":"2023-10-11T00:31:54","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"f315ff4f231a394e229fd8aff68c19dc2dcc4563","committime":"2023-10-10T23:14:03","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.0.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a32f6835ddf233b4b3e825b4221199970daee710","committime":"2023-10-07T22:58:02","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8fc067fa986495215d307e6701004e839fe4f755","committime":"2023-10-07T21:07:17","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: use RollForward=Major to update to .NET 7.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dadf93960b65b154ad7570b289ba037998a1ec01","committime":"2023-10-06T15:31:53","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"69d7a057032796618ec6ff2d1560cf4ee1532dff","committime":"2023-10-06T09:39:45","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: disable analyzers"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"92707c5141c506c28054d599fed37d3b4dade456","committime":"2023-09-17T22:46:38","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"735fa9cf30b911363a9e63d8900bdd63e2e7ca01","committime":"2023-09-17T22:36:16","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: add missing src_unpack to support git"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3b4de3a49b60813e8050220d88b8ce00b5f5d868","committime":"2023-09-16T15:01:37","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/912182\nSigned-off-by: Maciej Barć ","commitid":"327be7a1e8fbd30a219141f8b0f1827291b0415d","committime":"2023-09-16T12:56:11","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 2.16.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9dc225d49eeab7dae68e2aa17278393a95c0e35a","committime":"2023-09-15T21:01:36","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"1298f4add742fea973b7f57f893003a0745ac82a","committime":"2023-09-15T19:17:16","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 3.0.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ce399b9cceb1040c42c169d627b470c7a427fdd3","committime":"2023-06-19T18:31:51","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a967e8ed15e62c9947fab42f0498f0f2f99b5a1b","committime":"2023-06-19T18:19:05","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 2.15.9"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c9edae2261d8c2a1454d92958661704809ae0988","committime":"2023-06-19T18:18:59","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: drop old 2.15.8-r4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"db9e4bdc9b19aed05036bc19cd6b41a249eb40a1","committime":"2022-11-28T20:46:44","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"25d4c54ad05c08970b7ccfe132334ddc89047dd2","committime":"2022-11-28T17:44:38","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 2.16.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ba66d777e9ad4ed0b00188a38e0587021f69c0df","committime":"2022-11-18T01:01:50","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"2032b3219be48ea8e435211bbc23a6f8b2aa6d8c","committime":"2022-11-18T00:43:43","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: bump to 2.15.9"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5c4885fe884d5e75dd431cd59ca761b76bd99fe0","committime":"2022-10-07T22:47:50","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"putting ICU in optfeature was a bad idea\n\nBug: https:\/\/bugs.gentoo.org\/874810\nSigned-off-by: Maciej Barć ","commitid":"c2a73fc635a5543ca87a317b64ed32ca8b76c9b9","committime":"2022-10-07T22:06:41","packageid":75498,"repoid":1,"summary":"dev-dotnet\/dotnet-sdk-bin: add ICU dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8fa597c56df5493ec4277c4a18583b556cd766f2","committime":"2022-10-06T21:03:14","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Also use \"--source\" flag for running \"dotnet restore\" which will\nwarn when NUGET_PACKAGES directory does not exist.\n\nCloses: https:\/\/bugs.gentoo.org\/875755\nSigned-off-by: Maciej Barć ","commitid":"08024617c343707bab3517d47cc55b7f23960e52","committime":"2022-10-06T20:45:02","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: fix broken NUGET_PACKAGES variable"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"993b00ec4d23a14782104974b741349f3f89cd15","committime":"2022-10-06T14:33:53","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8e0e6163545ce31c7a59651fdab122b45e4b747c","committime":"2022-10-06T14:17:22","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: enable tests"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e364ef3dd630e1d3f199c5fc38166a18b1ac5ce9","committime":"2022-10-04T15:32:37","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/874810\nSigned-off-by: Maciej Barć ","commitid":"0b4089e67b207d2f37d2dc9c7d18228165684f52","committime":"2022-10-04T15:22:21","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: add icu dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e989148838eb599296fde09263797c20d9fb8f9f","committime":"2022-10-04T02:04:31","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"f610854f19a7d7aa140af095a9898c77ad154d73","committime":"2022-10-04T01:21:18","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: add z3 dependency and debug USE flag"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"db9912a0198aa38d27b35e3a851495fd2bfbc2de","committime":"2022-10-03T21:47:13","packageid":75498,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8ac30bce24f027d7124ae09e613997f593a61a8d","committime":"2022-10-03T21:15:27","packageid":75498,"repoid":1,"summary":"dev-lang\/boogie: new package; add version 2.15.8"}],"dependencies":[],"depending":[],"ebuilds":[{"archs":["~amd64"],"ebuildid":862331,"firstseen":"2025-05-05T16:53:31.467905","license":"MIT","moddate":"2025-05-05T15:53:31","packageid":75498,"repoid":1,"slot":"0","uses":["debug","test"],"version":"3.5.2"},{"archs":["amd64"],"ebuildid":857707,"firstseen":"2025-03-16T21:36:59.045185","license":"MIT","moddate":"2025-04-28T05:43:34","packageid":75498,"repoid":1,"slot":"0","uses":["debug","test"],"version":"3.5.1"}],"masks":[],"package":{"categoryid":450,"description":"SMT-based program verifier","firstseen":"2022-10-03T23:03:49.870993","name":"boogie","packageid":75498,"summary":"Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers for C and the verifiers for Dafny, Chalice, and Spec#. For a sample verifier for a toy language built on top of Boogie, see Forro. Boogie is also the name of a tool. The tool accepts the Boogie language as input, optionally infers some invariants in the given Boogie program, and then generates verification conditions that are passed to an SMT solver. The default SMT solver is Z3."},"rdependencies":[{"block":false,"categoryid":317,"description":"An efficient theorem prover","ebuildids":[857707,862331],"firstseen":"2017-01-02T14:37:11.628924","name":"z3","packageid":66323,"summary":"Z3 is an efficient Satisfiability Modulo Theories (SMT) solver from Microsoft Research. Z3 is a solver for symbolic logic, a foundation for many software engineering tools. SMT solvers rely on a tight integration of specialized engines of proof. Each engine owns a piece of the global puzzle and implements specialized algorithms. For example, Z3’s engine for arithmetic integrates Simplex, cuts and polynomial reasoning, while an engine for strings are regular expressions integrate methods for symbolic derivatives of regular languages. A theme shared among many of the algorithms is how they exploit a duality between finding satisfying solutions and finding refutation proofs. The solver also integrates engines for global and local inferences and global propagation. Z3 is used in a wide range of software engineering applications, ranging from program verification, compiler validation, testing, fuzzing using dynamic symbolic execution, model-based software development, network verification, and optimization."},{"block":false,"categoryid":396,"description":"Virtual for .NET SDK","ebuildids":[857707,862331],"firstseen":"2021-06-27T22:37:17.874769","name":"dotnet-sdk","packageid":73042}],"repos":[{"branch":"master","lastcommit":"fd88dfaa5236cb2671a44a48e9a980b6cf139865","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/boogie-org\/boogie\/"],"uses":[{"description":"Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https:\/\/wiki.gentoo.org\/wiki\/Project:Quality_Assurance\/Backtraces","isdefault":false,"use":"debug"},{"description":"Enable dependencies and\/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)","isdefault":false,"use":"test"}]}