{"bugs":[{"bugid":830582,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/z3-4.8.14 - CMake Error at ...\/FindPackageHandleStandardArgs.cmake:230 (message):"},{"bugid":842615,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/z3-4.8.16 - CMake Error at ...\/FindJava.cmake:171 (message):"},{"bugid":904398,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/z3-4.12.1 - -- Configuring incomplete, errors occurred!"},{"bugid":959114,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/z3-4.15.2 - QA Notice: Compatibility with CMake < 3.5 has been removed from CMake 4,"}],"categories":[{"categoryid":406,"name":"dev-java","summary":"The dev-java category contains libraries and utilities relevant to the Java programming language."},{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":393,"name":"dev-libs","summary":"The dev-libs category contains various miscellaneous programming libraries."},{"categoryid":428,"name":"dev-util","summary":"The dev-util category contains various miscellaneous development utilities."},{"categoryid":1596,"name":"llvm-core"},{"categoryid":354,"name":"media-gfx","summary":"The media-gfx category contains graphics-related packages."},{"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":"e8851dd95bd197f674ffedba4e98f9dcabc582a7","committime":"2026-04-05T07:16:02","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"9b330490efb0565f607315e89e09533ba8e17687","committime":"2026-04-05T06:43:08","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c363492d98073ab83577fbf03a11d249c21fc26d","committime":"2026-03-29T06:15:55","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"Signed-off-by: Eli Schwartz ","commitid":"2277126032792baae14463eb20a93ad5d929b72b","committime":"2026-03-29T05:02:30","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.16.0 ppc64, #971712"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"Signed-off-by: Eli Schwartz ","commitid":"4087934710c24274b1cff43a650b8cf94a10e6b8","committime":"2026-03-29T05:02:29","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.16.0 arm, #971712"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"Signed-off-by: Eli Schwartz ","commitid":"b8c3470d355b0e63e4cd2af3c222912930f26bd0","committime":"2026-03-29T05:02:29","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.16.0 arm64, #971712"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"Signed-off-by: Eli Schwartz ","commitid":"63f5fe657abdc2b75606edb4f4239751f5de3f76","committime":"2026-03-29T05:02:28","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.16.0 amd64, #971712"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"Signed-off-by: Eli Schwartz ","commitid":"f1de4c042fa9a6accfdd6ecef2319618deee27cb","committime":"2026-03-29T05:02:26","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.16.0 x86, #971712"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f38fc9044df999ad3021fd080527b0d4d078bc7f","committime":"2026-02-20T14:15:49","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"d2ba3ad3f37f18168c40b76ee3d1bfd22c9a5908","committime":"2026-02-20T02:40:04","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.16.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0f56f5778936521fee53979224affebc4967c67a","committime":"2026-02-13T04:45:49","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"c06f9d1a8be3edf76bed099ff6291e968fa5ad98","committime":"2026-02-13T03:54:22","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.15.8"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fd2ad81b0f2682882a8b148599a383c1c92ac472","committime":"2026-02-09T05:15:55","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"54d0b231012d96d37d1d2ece3270db094fb41196","committime":"2026-02-09T04:01:14","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.15.7"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2c46572e2bcaa9a764be0edc6ef3044bcc0365f7","committime":"2026-02-08T03:45:50","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"56399e5a93fab086f8757859c44d3a868c0abc3f","committime":"2026-02-08T02:37:54","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.15.5"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"f36093e8d609b849823393fcdb4c167e74a579c3","committime":"2026-02-08T02:37:25","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c2237e3055bb2bba121d374416a9b874c23487f1","committime":"2025-12-14T00:00:47","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"Signed-off-by: Eli Schwartz ","commitid":"77075c05db6d4ac5fce165356789400518bd7d98","committime":"2025-12-13T23:55:41","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.4 ppc64, #967402"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d49981535e0befee2757bf205b6181cb11245335","committime":"2025-12-13T14:00:59","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"3f4c7e764c40520b0871c7c9e854e46493986758","committime":"2025-12-13T13:51:05","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.4 x86, #967402"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"bb49308bbbd7271d82d4a925550d65fd0122676f","committime":"2025-12-13T13:51:04","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.4 amd64, #967402"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"25154c1ce5e713e1dd468745cc0c2faa5eba0695","committime":"2025-12-13T12:00:49","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"21a871ea53291cc13f68df071ec4d75bfc5b8492","committime":"2025-12-13T11:49:19","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.4 arm64, #967402"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"95f24569b64ff76e852d770ef8293f537dca316f","committime":"2025-12-13T11:49:18","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.4 arm, #967402"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"db405515aba8a208efad9cb9776faf218a6d2e37","committime":"2025-10-30T07:04:59","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"1d1662420bf8971a5b11a7916bcdd592d2f57d83","committime":"2025-10-30T06:12:28","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.15.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3ff00875aaf46e1e6bdddbbdb93c0ab79cb3f642","committime":"2025-09-20T06:19:08","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"4eaec6472c2ea92f9db11df5b17584216510d9ca","committime":"2025-09-19T17:30:56","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9445d4d015d919e9b18e55a880d03c43fd9fd6a4","committime":"2025-09-19T16:18:50","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"c417bb81dd48b1f8d6565d8b36b48aee062430f5","committime":"2025-09-19T16:11:00","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.3 ppc64, #962851"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"241b5afa1070a96b691044e15d0d289f8be5d8c6","committime":"2025-09-15T05:50:50","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"f93f228d3b71006d68f1c566d0dabe819c3c29dd","committime":"2025-09-15T05:43:27","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.3 amd64, #962851"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2f6f67b300ab81bbf8099ba7dd2488e22c9b7e08","committime":"2025-09-14T17:03:37","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"cfd8a2881a594a6b854986aa2f6cabe46a8129b1","committime":"2025-09-14T16:49:15","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.3 x86, #962851"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3049b01676420540094c60826ae699ae8cacfd14","committime":"2025-09-14T16:19:25","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"42746865053e0be480ea85dde529304e76dbab62","committime":"2025-09-14T16:12:49","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.3 arm, #962851"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f27dfb0220c564e1b27555c7947dd97b394e603b","committime":"2025-09-14T16:04:19","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"02a4e06610d89689460b6f1d9a2a9cf83b518c53","committime":"2025-09-14T15:57:53","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.3 arm64, #962851"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"30e2fcd0b492ae2bcb6f03ac571b6d5f82f733a6","committime":"2025-09-02T17:19:36","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Result of running the command:\n grep --include=\"*.ebuild\" -r . -e 'KEYWORDS=.*[\" ]sparc' -l | xargs ekeyword ~sparc\n\nSigned-off-by: Arthur Zamarin ","commitid":"0ad96e879b651cc7e8214159d5841d6b633bef8a","committime":"2025-09-02T16:20:20","packageid":66323,"repoid":1,"summary":"*\/*: destable sparc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"45a1e07ad4843ff2e4f830a47794109a78544976","committime":"2025-08-17T03:33:51","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"2378a39cf7e2dce4eeeb4b41584084e8fcb256a0","committime":"2025-08-17T02:22:14","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.15.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d864e82294fa4e0e1e9d78e520b61e596e18efc3","committime":"2025-07-13T16:53:38","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"6b7242aeca52d303c3921f6b0c7a43c144ddff66","committime":"2025-07-13T15:46:59","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"db19f2344298ca189ff772fa2566160bdf47b82d","committime":"2025-07-13T10:07:13","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"96b654226ff5caf76bfbc23855e8456f8bd4b039","committime":"2025-07-13T09:14:10","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.2 sparc, #959965"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5ba373f1ef0eb6460a10b49954f8f0e18f34b83c","committime":"2025-07-12T17:22:07","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"ecb6273895cb366eb65bc16ca1f7fc16ab6e742c","committime":"2025-07-12T17:07:01","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.2 ppc64, #959965"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7872ba9d50b54abeca566b30ea66280add26108f","committime":"2025-07-12T13:07:02","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"e2e0b2091f6eaac97cd3c41424fee248f4a6192b","committime":"2025-07-12T12:50:40","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.2 arm64, #959965"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1cdafe533ca3cd2016a6a85de6be813c5769b593","committime":"2025-07-12T12:07:13","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"891ed4a188a4db32dd31ed223d54836f9f28c299","committime":"2025-07-12T11:53:08","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"0cdc25843d4e49fabd282a98936ad3f3b86e5a07","committime":"2025-07-12T11:51:20","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.2 x86, #959965"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"7397636d1f9281bf0fe98f1c9a2467b1913e23f9","committime":"2025-07-12T11:32:05","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.2 amd64, #959965"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"76fd83b705d630643cbbc559d965ffe61450fcf3","committime":"2025-07-12T11:32:03","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.2 arm, #959965"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f379ececd5c8f97e870f4e82ba2a112df0b4edb3","committime":"2025-07-05T16:07:39","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"e6a305896db9baa9af3beaeeab146839f084cb96","committime":"2025-07-05T15:48:35","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.1 ppc64, #959167"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a63329aa61ad319596e1974a861db840d5162f79","committime":"2025-07-04T15:52:13","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"8a891d3d6e36ebd233231a0b11e764dcb13d2dce","committime":"2025-07-04T15:39:57","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.1 arm64, #959167"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"279f3f3b6c7e61f2643ebef84cd376cce252b7f2","committime":"2025-07-04T08:52:17","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"0278dee3161d0be61d5d87d50861589e789c416b","committime":"2025-07-04T08:39:43","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.1 arm, #959167"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f1f8bf2ba8b871f4e77cdc54f9a9d16bce518db0","committime":"2025-06-28T14:07:38","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"acac75f953b0f2f0f658f6deb47cdf5fd79ff473","committime":"2025-06-28T13:59:23","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.1 amd64, #959167"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"03058e2fd974b006d5563c8ee102a8f35a8fdace","committime":"2025-06-28T09:37:55","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"34013a4f753d8f119dcd657540446e15335283cd","committime":"2025-06-28T09:21:04","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.1 x86, #959167"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"822ebeb3028e536f552163fa7f6a5fd6cd40f249","committime":"2025-06-26T09:51:53","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"40cdc16e532d60ccccda276eb3f2e9c5bb913129","committime":"2025-06-26T08:59:09","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.15.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a6e1d135fded688f9e07707612bbac86948b5fdc","committime":"2025-06-11T07:37:04","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"45a6e6756783dc6ad7aabb1e2d601fdda35b9e8c","committime":"2025-06-11T05:10:34","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.15.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8028fdac1c2032deec7df98d391a1270d3941070","committime":"2025-05-31T10:10:14","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"126eecefa37479418e99af2b5f4699751ede5664","committime":"2025-05-31T09:57:46","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.0 arm64, #956883"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"3ad04d694d0ebaa68ee33878a5a1dabb94966bc8","committime":"2025-05-31T09:57:45","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.0 amd64, #956883"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0a1b704159f487d7ec9fd059fe641e92ef7f78ed","committime":"2025-05-31T09:09:25","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"44a4417f0b66c27b20bb535ca3e3f53d6a95ac8f","committime":"2025-05-31T08:53:52","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"4e5148b100a5a0555716c5bbc2af75eba8f52b5c","committime":"2025-05-31T08:50:07","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.0 ppc64, #956883"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"27f9d3791708dcd5d2e03ae754d8afe480678c89","committime":"2025-05-31T08:45:26","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.0 arm, #956883"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"c32bbc0f270fbd389b3498c4823eb1a6c0501248","committime":"2025-05-31T08:34:19","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.15.0 x86, #956883"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cfa91be47f9bba26cca7ab2de472584ebc1f34bd","committime":"2025-05-10T07:56:29","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"158238ee8046feb8fa4f3135bd4524efca106efb","committime":"2025-05-10T05:08:59","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.15.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8a8c141ecd3f15338ade7c489b4eb7204a178eb0","committime":"2025-03-29T10:35:52","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d920fa6b1ecc02740f54acc2a0c8ed623db53fa8","committime":"2025-03-29T10:21:07","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"490354b349dec728d51d81d15ccd600365fd6b3f","committime":"2025-03-29T10:15:14","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"0406a8e63ad15edf17bafee95b51c19a16cc7ad4","committime":"2025-03-29T10:11:58","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.14.1 sparc, #952856"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"52aae0bbcc2c8f7e99e4d3d6b8243f91982d901a","committime":"2025-03-29T08:05:55","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a4c1a67f47b37f60ef8298857d191a27147f356a","committime":"2025-03-29T07:50:56","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"502aedcad40209155e2c05d5a67ff68ae9c6fe73","committime":"2025-03-29T07:45:44","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.14.1 amd64, #952856"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"b3405feb3ad70a5642567e9f4f373b4d6a6be17e","committime":"2025-03-29T07:45:44","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.14.1 ppc64, #952856"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"6e747fc4982b7c422340da652114eb7fcf63ee2f","committime":"2025-03-29T07:45:43","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.14.1 x86, #952856"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"3fb2734bc97afb00a8457e4c665d967e48458c68","committime":"2025-03-29T07:41:26","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.14.1 arm, #952856"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"fd708255c5fd81f4fd0a9484cdb6d52ed411f021","committime":"2025-03-29T07:41:25","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.14.1 arm64, #952856"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cae3b7a288173cf833462dd6cb67637688252b77","committime":"2025-03-11T09:03:28","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"ec26c274fa5a6e6e7b0c033602f7bd62055f7c54","committime":"2025-03-11T06:06:12","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.14.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5daac097e27578afb12847d77b7ca915560efcb4","committime":"2025-03-08T17:38:04","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"3764d6f90e3c0cef89dbbe2aaaf44e9848588869","committime":"2025-03-08T17:02:48","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"88cdb05b066501308f68d1ff2d7108911ce54a09","committime":"2025-03-08T14:19:02","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"0398ff84608ed6f680e7ae8ad38b292f554f61f6","committime":"2025-03-08T14:08:04","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.14.0 arm64, #950824"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e39fa965519f81fb6971aaa01f1f5b698c8da66e","committime":"2025-03-08T13:18:38","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"b6e54a95a6f5f676082facd4dcc5f79f27a884c5","committime":"2025-03-08T13:07:10","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.14.0 x86, #950824"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"49c516e1798786e4ff19f5e8bba6f7104a2dd793","committime":"2025-03-08T12:49:11","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"c731940a18dc39c2b618832fb3ead2075861b183","committime":"2025-03-08T12:33:59","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.14.0 amd64, #950824"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b082bacdfa6d2adf22c87198bffd2266c8e7392b","committime":"2025-03-08T12:04:34","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"3d51adcb29a96288cdebd23a65d6da9a83804790","committime":"2025-03-08T11:57:47","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.14.0 ppc64, #950824"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"639e244c175308dd2adc8ef6088b569bb0a3c20b","committime":"2025-03-08T09:48:23","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"99826655f8b1ac4aabd75d4ed16a86c0f8bc3f6f","committime":"2025-03-08T09:32:41","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.14.0 sparc, #950824"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"fe1a696cb2ef952dc2b94b583113849e07ed18da","committime":"2025-03-08T09:32:41","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.14.0 arm, #950824"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"383c530063b855d698d9b260b04db76cf301c64d","committime":"2025-02-19T08:10:01","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"1bc69efb3f7c8c8657ccc4a6d999ad0a77c9a35f","committime":"2025-02-19T06:26:07","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.14.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c14aa796459a01d707fd2a8bbfdd95e15390df1a","committime":"2025-01-04T19:18:13","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"f41f4ecb5893c64b10d7f36135ae4131f48d29c1","committime":"2025-01-04T18:44:30","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d3faf0f53faf51d85f5e8ef98e043db18ce53cd0","committime":"2025-01-04T17:48:18","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"17fc663135a4fee1738ceed4062f3aa5c5568fcb","committime":"2025-01-04T17:29:39","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.4 arm, #947419"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ec888bc2836108c80b777619d45e0995e40d0e15","committime":"2025-01-04T16:33:19","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"a8c4bd89d3ea723235e2074df833d310635debaa","committime":"2025-01-04T16:22:15","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.4 arm64, #947419"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"302346445cc13539dc4349fd5333d50e3c832d78","committime":"2025-01-04T14:33:48","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"7185145f0328b7324e90b284b79adc67f612d806","committime":"2025-01-04T14:26:41","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.4 amd64, #947419"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e46473607a80792e90796c2536cd129373b5e5d4","committime":"2025-01-04T13:33:43","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"a9d79eae2c73a0f7de8bd74d7144bd296d93bf44","committime":"2025-01-04T13:27:42","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.4 x86, #947419"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3ea5a95b63ce1f578668150395595aacede1c35b","committime":"2025-01-04T11:48:24","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b14f2939bcae419e1e465d5f797b94d7875b20f0","committime":"2025-01-04T11:41:14","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.4 sparc, #947419"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"138dc43211df36932b331a1120c5c8e0b99b86aa","committime":"2025-01-04T11:41:13","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.4 ppc64, #947419"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5a508ad72e82ae2560b1f8d39d23e12e2cd7fcc7","committime":"2024-12-18T08:18:38","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"cf950453d566eae152a90124d2abc87d05d94968","committime":"2024-12-18T07:37:02","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.13.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bd7e697af071fefc7a9404fcb707e5ad88710e76","committime":"2024-10-19T10:03:45","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"0bae138e3c3a7a7ee5831dae7c9cb393430d5425","committime":"2024-10-19T09:49:18","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4624bf959a53ed15dc855fe64465c607e3eeb6bf","committime":"2024-10-19T09:33:52","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"73288b8d9a4993581fb8d0887925e06b034f6054","committime":"2024-10-19T09:22:08","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.3 sparc, #941789"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"7fa12725299b36f4c0e42729547a6cd793843f46","committime":"2024-10-19T09:10:45","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.3 x86, #941789"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d61674c2b646d98286865faaba53398024c1fa50","committime":"2024-10-19T08:48:52","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"4a2f99c6a1169e7b8cdb3a51b431f537daaf5e07","committime":"2024-10-19T08:43:25","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.3 ppc64, #941789"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"06dacc1ddba1225406dc1ee623a83c414fc84c37","committime":"2024-10-19T08:40:54","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.3 amd64, #941789"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f9cb543fea11d65855ca350053e58534859bb5ad","committime":"2024-10-19T08:18:31","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"9b89f7d008c0fa67c78c1a3b717658eb626130ab","committime":"2024-10-19T08:14:25","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.3 arm, #941789"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0baabc1563b93ae513b3577b011e2012be982f41","committime":"2024-10-19T08:03:39","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"fe3a8269cf5f8f4a7138702c81881264927ec193","committime":"2024-10-19T07:47:32","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.3 arm64, #941789"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e2cf9f06e56447e15d112db79215a34af17ab74e","committime":"2024-10-11T03:03:19","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"fa26eb25d2e2344ca3c88a0e23e585628cd6325b","committime":"2024-10-11T02:15:04","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.13.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"be76e182375fd4c8ee1b0e08e55f6c470576b023","committime":"2024-09-28T07:51:14","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"658e90a726c15e347ce70c04235bdc8d1be79fc8","committime":"2024-09-28T05:31:24","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.13.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"26f2eb8fc234f9492d7e88965a03d115113aebbd","committime":"2024-06-04T18:03:58","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"matoro_gentoo@matoro.tk","authorname":"Matoro Mahri","body":"Signed-off-by: Matoro Mahri \nSigned-off-by: Viorel Munteanu ","commitid":"4e9d29e7437421211016f5f0a1649b11a4d8c419","committime":"2024-06-01T23:30:31","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Keyword 4.13.0 mips, #779742"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"df2a802887bc741e800466d8102e6cdf31ea31bc","committime":"2024-03-23T14:49:03","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"4c5de839f0162500802104abc01bb2b6d4a6d84f","committime":"2024-03-23T14:33:28","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ea072becffeb6f6823be5f9cd547cad9b5e7e6d4","committime":"2024-03-23T13:48:52","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"53b6756ae13b85cebe5402e369947d45f1fc00da","committime":"2024-03-23T13:38:37","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.0 ppc64, #927602"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cc3d19477729b984e79f3193ff7a5d3e6faca38d","committime":"2024-03-23T12:03:55","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"3e2c18ad90b4b820dddf02e504ad1794797eca63","committime":"2024-03-23T11:52:49","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.0 arm64, #927602"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"6a764d002e5125cc9a177ca1855ddeaae210d590","committime":"2024-03-23T11:52:47","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.0 x86, #927602"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"dfe57c13798bf9c23bf5b3720874d7c3cdf62acb","committime":"2024-03-23T11:52:46","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.0 amd64, #927602"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"9ffc2a33680b37401c4c533e4c9f589173376c7f","committime":"2024-03-23T11:52:45","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.0 sparc, #927602"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"a1fff7ab232840f25ff1a1fc0d4142d84dec149a","committime":"2024-03-23T11:52:43","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.13.0 arm, #927602"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d18c3a60ee98c5ea759025038edcdd62aee3aab6","committime":"2024-03-16T18:18:59","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"def898d4e28164540b57c266b44f1a758e8d5765","committime":"2024-03-16T18:08:26","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"313e9ef0afa4fec612ee2b02c39b1c637387c6d5","committime":"2024-03-16T17:55:50","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f41edffdabef0938c14cd9269d34f59bf49819f5","committime":"2024-03-16T17:18:44","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"1dbd73f51f27c74ea61ea13fb315e0570115907d","committime":"2024-03-16T17:16:00","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.6 x86, #927109"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"61b9ccd8709dc7deb5763dee9ab0647563648748","committime":"2024-03-16T17:08:22","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.6 amd64, #927109"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cc2c941ec58fad9b956d8daffcdfbc269b783964","committime":"2024-03-16T17:03:43","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"de4a589e0f47b70f56c671fa202138bc92382009","committime":"2024-03-16T16:52:23","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.6 arm, #927109"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e019c56b9609b3bb1012abb480ea2039da3e8c03","committime":"2024-03-16T16:48:40","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"060936f083d55ba88f8144ab991b863e6a0c7e3b","committime":"2024-03-16T16:35:25","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.6 sparc, #927109"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7b72f430d7a07afafa9a749911a4d61eb7b6f86a","committime":"2024-03-16T12:03:54","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"2bd1f0c8ebcec1ececd904b91a7fcfb0dda9ed92","committime":"2024-03-16T11:48:51","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.6 arm64, #927109"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"16e8221a231346a4a28db7d4fa5b8c54e664999a","committime":"2024-03-16T10:33:56","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"3bbb876aec2e76b00584828d16cfde3866c259a0","committime":"2024-03-16T10:22:56","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.6 ppc64, #927109"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c38d55d6e7f840ae9e5d41a963b6979797d74290","committime":"2024-03-08T11:18:47","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"eschwartz93@gmail.com","authorname":"Eli Schwartz","body":"The fix for this was featured in version 4.13.0, yay.\n\nBug: https:\/\/bugs.gentoo.org\/879327\nSigned-off-by: Eli Schwartz \nSigned-off-by: Sam James ","commitid":"64b9a3a5ab0ff976dec9025f99a183f9ad8e657f","committime":"2024-03-08T10:32:14","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: remove the filter-lto\/fno-strict-aliasing"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4b7aba8ec4df606845ea10747af7254c5d94a711","committime":"2024-03-08T06:20:59","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"bfb3e8491bc8653869bd247e52ae4aacd383a109","committime":"2024-03-08T04:34:21","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.13.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b170a2adfec4b16a234e9cc912c1533aff6fb620","committime":"2024-03-04T04:18:58","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"eschwartz93@gmail.com","authorname":"Eli Schwartz","body":"The strict-aliasing violation happens only in a test program. However,\nthat does mean we cannot test that z3 works when built with LTO...\n\nCloses: https:\/\/bugs.gentoo.org\/879327\nSigned-off-by: Eli Schwartz \nSigned-off-by: Sam James ","commitid":"83e5cbb7ba3a7d3973cca29465fac8b777f96cc3","committime":"2024-03-04T03:31:51","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: mark as LTO-unsafe, strict-aliasing unsafe"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0d533eee1ed87f1e05e471fcf9f4576af00d4f0f","committime":"2024-02-26T18:07:25","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"182cc8d76d9401ec285cb738c7e1539f21f12044","committime":"2024-02-26T17:20:44","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.12.6"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a1a0f6576bac0d2585399a0709c56308182c1e21","committime":"2024-02-09T03:48:22","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"eba970bf2afb3e4a0436b84d0340f2aef2b59a83","committime":"2024-02-09T03:35:39","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bf6484f839fc63fe945b07872b017818dcbbbe9a","committime":"2024-02-09T01:18:31","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b1243a69cadbff37d4946edf5db328c7448a57aa","committime":"2024-02-09T01:03:32","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.5 amd64, #924099"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9b3b9666d66bac1e062c7b2d5474a2eef096d396","committime":"2024-02-08T15:03:24","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9312f4483843ed76fa7a1755d7b342f0f7c9766f","committime":"2024-02-08T14:48:56","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"98034af412b30e4cefb652658ef3417e48d68c90","committime":"2024-02-08T14:48:14","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.5 arm, #924099"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"b60589748d285e0cd9c1fbef38d77251c07dc6c1","committime":"2024-02-08T14:48:12","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.5 arm64, #924099"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"a95e232f64464d8a728f6466d5c32231cff153d2","committime":"2024-02-08T14:42:35","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.5 ppc64, #924099"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"fba26780bf79cd6506dda70eaf33d1c36dbeb428","committime":"2024-02-08T14:42:34","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.5 x86, #924099"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"53d86f766f215ec52dd1327fbe96aab38f6ecdd8","committime":"2024-02-08T14:42:33","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.5 sparc, #924099"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3546e2aabd07811de5da6e6483ecbabd3a99acad","committime":"2024-01-22T03:48:15","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"48c31b43333422c6a93c57332a62c524c97987dc","committime":"2024-01-22T03:23:49","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.12.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3548511996bfd3574f9e3a3a433fb9e7526f3f58","committime":"2024-01-12T15:05:10","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Per the category metadata, app-doc\/ is reserved for documentation\n*files* and not software. Move it to app-text\/ where it seems a better\nfit.\n\nSigned-off-by: Michał Górny ","commitid":"f7fdfdaeec3764929686064a6054c38a6b2d7788","committime":"2024-01-11T16:04:37","packageid":66323,"repoid":1,"summary":"Move {app-doc → app-text}\/doxygen"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9ceea5bac81d16d05862e264944c586377ea8ff3","committime":"2024-01-06T20:10:10","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"33eda2583a10995db1cbeaf69efd57ed15ca7da9","committime":"2024-01-06T19:02:58","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"97f8fea6d2174eee31a67e19e9ddb51f00dfd4da","committime":"2024-01-06T18:48:31","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"fc40bb832ef3c4853621e1050c0a34cf1fa96e9c","committime":"2024-01-06T18:46:03","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.4 amd64, #921493"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"711263efec01374ecc4880621a1f6b62bd9fa6b3","committime":"2024-01-06T18:46:01","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.4 x86, #921493"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"567e975a67c7687c5b14253d2fab49e333675e21","committime":"2024-01-06T12:32:52","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"917ea7be928a522d4661cc504b5cbacff2d4c469","committime":"2024-01-06T12:22:36","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.4 ppc64, #921493"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"aeb7eb32f20c02b1bb97a3905e9517bf71f7f192","committime":"2024-01-06T12:02:52","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"521867baed9019991c5495901d534b89b199c2ab","committime":"2024-01-06T11:53:53","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.4 sparc, #921493"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"ca524c6caf3f6c3c2632089fb931f08afd609d2b","committime":"2024-01-06T11:53:52","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.4 arm64, #921493"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"fec082fd9d8a05015f3a725df03037e18a984ccf","committime":"2024-01-06T11:53:51","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.4 arm, #921493"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2aebe6b73fa123d141190386c1c375cdb49c9221","committime":"2023-12-21T11:03:43","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"d613e1c4dfeb3e1afdb462400b50ee086a04d6af","committime":"2023-12-21T10:44:47","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"88ca75cd754953ca939f97e83764458c447784da","committime":"2023-12-21T07:31:50","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"8f1836d3ccab6b7ab5576ed5eea3d009d49c4b58","committime":"2023-12-21T07:26:25","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.3 x86, #920427"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ef88d065bf504775403b51f951dc72bf92c5704c","committime":"2023-12-21T07:01:52","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"7d3e7d6c6a3dbb38f989c55512db766223725c24","committime":"2023-12-21T06:50:48","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.3 arm64, #920427"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"49ca6b8992dd529350917cd8ffa68c7bd67a2b90","committime":"2023-12-21T06:50:47","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.3 arm, #920427"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"3dc9dff42b2030677e627f7dea2c7797e2e35fc9","committime":"2023-12-21T06:50:46","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.3 amd64, #920427"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"ae966b8123528ff68c99ef75a56dc078db914f36","committime":"2023-12-21T06:50:45","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.3 sparc, #920427"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"52d1002db0b21ed32e70eb13708578a34678bda4","committime":"2023-12-21T06:50:44","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.3 ppc64, #920427"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7602727b973e5778bec1b341559021999d11ae57","committime":"2023-12-07T04:31:50","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"2802958294e4332e9f41aacc3111920df59b20b4","committime":"2023-12-07T04:06:27","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.12.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6b903185733284814ceeaca58adb4149573e5940","committime":"2023-12-05T14:47:42","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"02848e7dcd672f653df141391632e53b1947033d","committime":"2023-12-05T13:08:30","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.12.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"90d57263ead16044be6a757d6d07a324fe409685","committime":"2023-12-02T12:16:45","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"12fd765f11eb806de948768f01c718abb53e9796","committime":"2023-12-02T11:46:44","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"2b22821919fb9cd9f9230044f2027629b1837c10","committime":"2023-12-02T11:33:12","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"3df8ac512a34c43944ea1b3ea54bed8c9eb41f4e","committime":"2023-12-02T11:30:55","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.2 ppc64, #919030"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1ea88c021dc005c591e7a23ba1c3ba03dc278cfc","committime":"2023-12-02T10:46:39","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"04dce19cc0450f79e0c033e0d756e3257a7b0818","committime":"2023-12-02T10:42:58","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.2 x86, #919030"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"95d104e5008f3dcc680a9ed64c348107ac0d70af","committime":"2023-12-02T10:35:28","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.2 amd64, #919030"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d192ee7bb46b827cad56af04be8f0f2ce166b06d","committime":"2023-12-02T10:31:43","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7593398a651d8f1055b20f8ef7e2edbe08b45747","committime":"2023-12-02T10:16:42","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"1965d3c302cb58ee2b3fe518ad80d1a8edd182c5","committime":"2023-12-02T10:16:15","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.2 sparc, #919030"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"7610864cab9515b0b097d141f48ab53dcbd9d5a2","committime":"2023-12-02T10:13:45","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.2 arm, #919030"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"9f0b6fa9720cc03a824b31650479a155c6919831","committime":"2023-12-02T10:13:44","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.2 arm64, #919030"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4089e375843eee4878f0eb1de1676fd5dd012608","committime":"2023-11-06T12:03:49","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"andrewammerlaan@gentoo.org","authorname":"Andrew Ammerlaan","body":"Closes: https:\/\/bugs.gentoo.org\/916710\nSigned-off-by: Andrew Ammerlaan ","commitid":"b8f53371b9ad8919b2b78d2abf7b713a214726b3","committime":"2023-11-06T11:53:59","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: add 4.12.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4551781d19d18f6861d81d27503cf41f29617f5c","committime":"2023-04-08T19:01:52","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"7894c9f5a9e37612147f6fb98605fb1a3455b101","committime":"2023-04-08T18:41:43","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8af7e0c5925401c841080adea4a319423228901c","committime":"2023-04-08T18:03:38","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"a9d717c01fc1771900ad09a952d1a7a0de290fea","committime":"2023-04-08T17:57:07","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.1 x86, #904033"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"2d4a46e202c027dd599e76794b2176ef56832d9b","committime":"2023-04-08T17:50:05","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.1 ppc64, #904033"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ba57e9e568f5a52b8479f124230b0e0515b6f671","committime":"2023-04-08T17:46:54","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"9b19dc8c6f475f26ba287258acb88d55280d20eb","committime":"2023-04-08T17:42:43","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.1 amd64, #904033"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"9c409763021e7bada2e01aeb4aecd4cebddc4c08","committime":"2023-04-08T17:37:30","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.1 sparc, #904033"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"4279104bb1d98c27cbee84658ea44813ffffd17e","committime":"2023-04-08T17:30:45","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.1 arm, #904033"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"691f99364cdb42b09dda1413a4784b63bb7eb63a","committime":"2023-04-08T17:01:57","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"ba3aef4a3ad35146b14fd0a7916f0109000b29cd","committime":"2023-04-08T16:59:06","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.12.1 arm64, #904033"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fcbed16cfe38e55c3229e4a6ef8321d1f1009fad","committime":"2023-01-19T06:16:55","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"deb859a8754a5a29e0f92cb12e55286879895b33","committime":"2023-01-19T05:33:10","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.12.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a0182071d6e2b187e9ab586e5a3bd26b44c16300","committime":"2023-01-15T07:17:04","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"1f168c9cb484ee25380d129f9ae3cf38f6fc4463","committime":"2023-01-15T06:04:21","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.12.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8d0ebee607de5c63d747980fbeb0806c193a29c9","committime":"2023-01-14T13:02:17","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Signed-off-by: David Seifert ","commitid":"ed468028e725c9580a7b2ee02d6b7b9375f7a0b2","committime":"2023-01-14T12:51:19","packageid":66323,"repoid":1,"summary":"*\/*: remove py3.8 from PYTHON_COMPAT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"44fea6be973c6c1576c6ed6cf9b0e5dfe34f27e2","committime":"2022-11-27T03:01:47","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xen0n@gentoo.org","authorname":"WANG Xuerui","body":"Signed-off-by: WANG Xuerui ","commitid":"5dcef39eabff2f0aa3338ad821d408e936bf572b","committime":"2022-11-27T01:51:24","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: keyword 4.11.2 for ~loong"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"84904e92521cf1acd630672f854c637937690b76","committime":"2022-09-23T14:01:55","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"047311eee03f21459e4d9641bb91c7372bffdb2b","committime":"2022-09-23T13:11:00","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"615f700c00e0686006189f762ac1860fd222a2a4","committime":"2022-09-23T10:16:56","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"61571227a2c6b1a87215f5eceb6865cedab8fa4c","committime":"2022-09-23T10:05:00","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Reverts: 8f5a05275e21e1ecf49dedfe324a38e86bf874cc\nSigned-off-by: Michał Górny ","commitid":"f705f92749744588bbadac64feff3250712e84da","committime":"2022-09-23T10:04:12","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Revert \"Remove old\""},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"563ec34ba4cee8eb6cdc5f765ba1b73dfe2e5d25","committime":"2022-09-23T08:16:50","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"8f5a05275e21e1ecf49dedfe324a38e86bf874cc","committime":"2022-09-23T07:18:22","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"74a1deda00d01561cade76aa81013d7f1b454a09","committime":"2022-09-23T07:01:47","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"9b019d63ae9bdd85a22a12d074383296ed73f682","committime":"2022-09-23T06:58:22","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.11.2 sparc, #872290"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8a6a952a3e1844e2f7d29545a527f6fdb231c2b4","committime":"2022-09-22T17:16:42","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"489a63aeada2ce49d9f5fd406c82423680ed1185","committime":"2022-09-22T17:02:49","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.11.2 ppc64, #872290"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e00ecb7a670057c483a057ed49a2e3965d631e58","committime":"2022-09-22T08:16:49","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"18538c4d4273e9ef13f419766d6437a3175c2cf7","committime":"2022-09-22T08:05:16","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.11.2 x86, #872290"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"5092d6c626d6a842ccc29467b51b536823ef71ae","committime":"2022-09-22T08:05:02","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.11.2 amd64, #872290"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"8078002f52fc25062686b58179564e9fa87a2940","committime":"2022-09-22T08:04:10","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.11.2 arm, #872290"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"1ca6800fb66945e9ac620947eb65c112ba693daa","committime":"2022-09-22T08:04:08","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.11.2 arm64, #872290"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ce26516b3c20d94f5bdb75ac41fdd598058932f7","committime":"2022-09-04T16:31:50","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"dd9c38fcfbb7086ba9086265b2b54dce7eba9362","committime":"2022-09-04T15:46:18","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.11.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"00f5afe85e6cb98e0b1f166c819f6498486f307c","committime":"2022-08-19T17:01:48","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"193a77eb48527b98e55c0b53d184d1ee1983e536","committime":"2022-08-19T16:53:50","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.10.2 x86, #865789"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"d55f34eb703b53d946f470c80e8c5a52b158f8d4","committime":"2022-08-19T16:52:25","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.10.2 amd64, #865789"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e133cc22e0eaeee838e8fab2ea79208473c2cfcc","committime":"2022-08-19T10:46:57","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"f8c8f1b29f0ea51fb1ae1e5d56bc562a8bb14600","committime":"2022-08-19T10:38:02","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.10.2 arm64, #865789"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"3b70582a345bf94e43ae1d8604b658e3873e5cec","committime":"2022-08-19T10:34:48","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.10.2 arm, #865789"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7e756d0c50712f2fc8529be2b4507b866896ed0a","committime":"2022-08-19T09:31:45","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"052bb26fa557d9ba9d9d40c8234014cf8ef5ae75","committime":"2022-08-19T07:29:02","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.11.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"158e3f03b82b58aebbf307ed4fe4a6f95fa60a05","committime":"2022-08-15T19:31:46","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"asturm@gentoo.org","authorname":"Andreas Sturmlechner","body":"Signed-off-by: Andreas Sturmlechner ","commitid":"900accb7f4ae4cba77a67cf2d0203b808368a988","committime":"2022-08-15T12:46:03","packageid":66323,"repoid":1,"summary":"*\/*: Drop CMAKE_ECLASS meta var superfluous in EAPI-8"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"43b32d60da0fe63ce284585b49189c4e91738eb2","committime":"2022-08-02T20:01:57","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"ef187a481c3955e6ad2dcdbff9d3ab165aa6da3b","committime":"2022-08-02T19:50:02","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.17 sparc, #862999"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"16d07dec9a3b9523fb4dec34994f32858e110519","committime":"2022-07-30T06:16:50","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"75ea0b634d7c524f4ab56e53d2ab73189f82399b","committime":"2022-07-30T05:49:23","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.10.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e62ec79f7718528f9a63de7b9614352ffecd9334","committime":"2022-07-23T06:31:48","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"9df47d876e9ae84470e1d4663473601f1d4dc1a4","committime":"2022-07-23T04:45:35","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.10.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ffa0b71e0831a7ef38d06d761256a483ebc85343","committime":"2022-07-07T10:16:30","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"cf81455e50106d20051f4aef533f88f86606f9a9","committime":"2022-07-07T09:59:22","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Fix subslot in 4.9.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3f59a703233e11080078eaa7db992f5ed440301f","committime":"2022-07-07T08:31:37","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"bb0ac582311c4a3e2b5bf22ffec1d44a3e2c569f","committime":"2022-07-07T08:04:28","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.9.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5bac9886783c44c890bb698553799584855603ea","committime":"2022-06-06T11:47:56","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"06ae9dfd925fbf6fe5d724c217d4a12f501d1383","committime":"2022-06-06T11:30:55","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"79e590a95cb9281f2ab0450526bf44d99569c632","committime":"2022-06-06T10:32:50","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"05103e9a6beb72cd28fab8cc31550035cf707b88","committime":"2022-06-06T10:22:00","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.17 amd64, #850061"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"caa2854fb5984cc9dff682dfa5fd75c1581886b7","committime":"2022-06-06T10:21:17","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.17 x86, #850061"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"7b6db730474cc236b84bcdb9f75e552b0878d787","committime":"2022-06-06T10:19:52","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.17 arm64, #850061"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"14f33eceb0d265a819ecc6ebfaf86eae3f1c5dd7","committime":"2022-06-06T10:19:51","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.17 ppc64, #850061"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"e162c6e4d7fde0ae9bf5706808bc114eb7c9b564","committime":"2022-06-06T10:19:49","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.17 arm, #850061"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f9fa1f33f4e1eb126f0aac26da1558968cf094ca","committime":"2022-05-05T07:17:58","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"4742efdbcf669c9aea2d29703c3401e7b024232a","committime":"2022-05-05T06:42:05","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.17"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c4c586368c2c1965a109b0b866558aa54d2bd670","committime":"2022-04-26T16:18:17","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"df149f7399efe651296bb014b3ad2d2f063432d0","committime":"2022-04-26T15:24:20","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dec8337010504297ad6210d337c278e6173e5688","committime":"2022-04-26T14:18:22","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"d9f4032e5fd728dadf1b961b76374e0955fdc471","committime":"2022-04-26T14:01:09","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.15-r1 ppc64, #840665"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fcede2ffb8ecd9269fa370d1cac756df3184a260","committime":"2022-04-26T04:03:15","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"7ac725a3b9a640182619a9b030418dfc60c21c1a","committime":"2022-04-26T03:47:45","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Keyword 4.8.16 sparc, #779742"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f44126c9af4c7873e91b7c04c1cd83098d00948e","committime":"2022-04-25T19:48:05","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"a276917c29bb4420465e58e894bee1aa5a3d6328","committime":"2022-04-25T19:37:52","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.15-r1 arm, #840665"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"81316f0eb07d3685377efb47472432841c83caf7","committime":"2022-04-25T19:37:17","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.15-r1 arm64, #840665"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0050638bc9e5fd05bbb40da2b6a6753def7dfe9c","committime":"2022-04-25T02:48:13","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"442a091a04af271e81c808924c5d3c003d933c7f","committime":"2022-04-25T02:40:33","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.15-r1 x86, #840665"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"33b04364935249893938bb7ef79ddcd7a5d48871","committime":"2022-04-25T02:40:05","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.15-r1 amd64, #840665"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b5886953d7f436418f4295bc386e94609066089e","committime":"2022-04-24T20:48:01","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"fe0689da1c5f9c90993e04c4477159eed3ff13f2","committime":"2022-04-24T20:24:05","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.16"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6e28303579b3643ef62e62194dc2aa876a8fc7e2","committime":"2022-03-21T13:49:10","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"- add missing dot dependency\n- install documentation into correct directory (use PF)\n\nCloses: https:\/\/bugs.gentoo.org\/818991\nSigned-off-by: Maciej Barć ","commitid":"5d07ea9a62bc5988e9fcf1b53e1f985f93e58747","committime":"2022-03-21T13:34:00","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: fix documentation"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d20a38a19b22a404d264f69629be2281808dd577","committime":"2022-03-21T09:04:17","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"9dd0012efec6b19a682f72e9c1b957e01463c9ec","committime":"2022-03-21T07:23:43","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.15"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b6fa149216ffa456bc73692da0e73a5a9ac02763","committime":"2022-03-16T19:34:06","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"rabenda.cn@gmail.com","authorname":"Han Gao","body":"Bug: https:\/\/bugs.gentoo.org\/835003\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Han Gao \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/24519\nSigned-off-by: Jakov Smolić ","commitid":"21fd2b212d6410381821dd09ba0ddbb1ab1e4d3e","committime":"2022-03-16T16:13:33","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: fix link atomic in riscv"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"07c91d99f673f89e333460b0065a8c174bfd0949","committime":"2022-02-12T09:21:39","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"3c87750c0c45f8efe85fc290c92b77cd3800da7d","committime":"2022-02-12T08:11:16","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"31472fb3be98377fe065006d437cf41856354b29","committime":"2022-02-11T21:51:47","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"b1a3e68cc8380d0620553e8351c23187854e4d37","committime":"2022-02-11T21:32:29","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.14 arm64, #833068"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0a9210222b1a70c32fb2e1d714ffa5a43e11bbd2","committime":"2022-02-11T20:21:39","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"77cafe9cc454e0529421ccfea241447776f48bda","committime":"2022-02-11T20:13:06","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.14 arm, #833068"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"761d1b654910173a93d97da0da13d1f8250071ae","committime":"2022-02-10T11:51:42","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"c764a089ebdb15c9b25b989941c5b633f720452e","committime":"2022-02-10T11:43:08","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.14 ppc64, #833068"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"fd90b6da20a424a8854f016793e76a6f9ea052c2","committime":"2022-02-10T11:41:11","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.14 x86, #833068"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e46652120347228c2d8962efe6875b4dcf45494c","committime":"2022-02-10T10:51:55","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"4b5b33916d2bd84a46bf1838b0354aa1ba3ed7ae","committime":"2022-02-10T10:44:56","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.14 amd64, #833068"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2117fe0a35fa21e6de4c895b94c0225b48ab2feb","committime":"2022-01-11T10:06:35","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"836ecd8074ae5341fd768cfc583d8dcb58671ec0","committime":"2022-01-11T08:48:19","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"536efa69d3027b3af483ff094e5f568d04c613bc","committime":"2022-01-10T23:21:40","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"5393b0d8b826f348e0f46c26525f64d0ea37ebd0","committime":"2022-01-10T22:59:54","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.13 arm64, #830771"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fd25e64e466616adcd8fbfe2282fa614ce788d73","committime":"2022-01-09T01:21:40","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"f92d6a0b3d562bd445fb4926919890022a0c9c43","committime":"2022-01-09T01:11:25","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.13 arm, #830771"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"06f9367dcdace46a5f17d620287c92133476337a","committime":"2022-01-09T01:11:07","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.13 ppc64, #830771"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b6569e219580a06685b90f96b12ec6bb94552364","committime":"2022-01-08T18:21:37","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"8c640fe6e7076c58ddde3d6300d4cf42d9af40c9","committime":"2022-01-08T18:02:37","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.13 amd64, #830771"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"ee8ef21220e5167577ca9fdcf4e7dc418af25d19","committime":"2022-01-08T18:01:38","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.13 x86, #830771"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ba70dd4bb5e72098bd0b56ec0f0885b4664a3c50","committime":"2021-12-24T09:21:29","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"adbd9386378183c2addda58f8d605a820c8f7c5b","committime":"2021-12-24T08:36:48","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.14"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6cafcbce10945162eb32eea7109e5076a5bb9586","committime":"2021-11-19T09:21:29","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"3faccd01df4019d2a273c3a35123fd84bc07d1e2","committime":"2021-11-19T08:49:11","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.13"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2902597acc512be01a8f580d18b7f728017d3817","committime":"2021-10-20T02:51:21","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5f42bca59d88533e74f46f05996e8fbff7246fd0","committime":"2021-08-06T03:52:14","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"4cd435932d0a06a6346816433d5df88c2b405d21","committime":"2021-08-06T02:00:32","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"798531c981f71b9b55ecbce86645e5d6ac37250e","committime":"2021-08-06T00:50:51","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"fa7f962507ffbf91a2cc259da809786c8005403d","committime":"2021-08-06T00:27:48","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.11b arm64, #805470"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"22998ab43b583dbdc2d6c214ea5a25ac74304aac","committime":"2021-08-03T15:53:16","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.2\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"f687c22916d0f18b163bd1767c6362ffcc5f8361","committime":"2021-08-03T15:35:53","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: x86 stable wrt bug #805470"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a50863686d314c5ce71a89a14fc39691c19eac82","committime":"2021-08-02T02:37:30","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"c67e1ce9b74bceffbb60577c3fa04848501206fe","committime":"2021-08-02T02:23:33","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.11b arm, #805470"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"d6adf06a29000cd232f8eb68f1a1fe26763a8e1b","committime":"2021-08-02T02:15:00","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.11b amd64, #805470"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ba1b272624685e320930c4de5220909b178cfb22","committime":"2021-08-01T07:36:39","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b9df4f25245580522febc751cf0bc767e835c2a9","committime":"2021-08-01T07:17:47","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.11b ppc64, #805470"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f7acb70622a8d22bf8dba66bdcecefd6828062b1","committime":"2021-07-11T06:36:37","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"9dc8628f72d98c2e80b6e8eb8af5329aaf64dde4","committime":"2021-07-11T06:06:08","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.11b"},{"authoremail":"fatzer2@gmail.com","authorname":"Alexander Golubev","body":"Closes:https:\/\/bugs.gentoo.org\/673126\nSigned-off-by: Alexander Golubev \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/21338\nSigned-off-by: Sam James ","commitid":"743dc8f916fcbd4bef81a6f933c61f5a77a6a1f9","committime":"2021-06-20T01:14:38","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: fix build failure with USE=\"java\""},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6678206da990d540f7f20cc8749409b1abf95c64","committime":"2021-06-18T13:35:02","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Closes: https:\/\/github.com\/gentoo\/gentoo\/pull\/21305\nPackage-Manager: Portage-3.0.20, Repoman-3.0.3\nSigned-off-by: David Seifert ","commitid":"819fbc8e13128f1b6dadf716935ffb7eb848515e","committime":"2021-06-18T13:15:42","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Depend on dev-libs\/gmp[cxx(+)]"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ae3bba839226ce79863d455e01c9bd4aa043d533","committime":"2021-06-05T08:35:11","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"a81de75070cf4246b1becf4cf67fc3db6bf1e15b","committime":"2021-06-05T06:54:50","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1776fd5674c613f063ec6b33328563973835c2b8","committime":"2021-05-17T01:50:01","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"0ec5de0a8da1f865ef093a06dbe3498b9ce6a9c4","committime":"2021-05-17T01:37:02","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Keyword 4.8.10 ppc, #708344"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"01dcc8542a8028dffc332c48fcd33e3e71a8fb34","committime":"2021-03-06T11:06:58","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3e502fb7b7511334022cddff31435c5fe7861237","committime":"2021-03-06T07:36:58","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"7494f027cda932d2223a73a64dabf002c570deec","committime":"2021-03-06T07:32:02","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"0b53af487b399eadebfc5382d44543a7eb0aaadb","committime":"2021-03-06T07:26:02","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.10 arm64, #774231"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"660fab15531b5ac110397e1b40a377c8b33f4ced","committime":"2021-03-05T21:52:00","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"87d8ebc43ff2b8cf7168df32f06449b7fb44c33b","committime":"2021-03-05T21:42:28","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.10 arm, #774231"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3ecc5743fc862428522f883305446988ad58545c","committime":"2021-03-05T20:51:57","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"6c9aced72a7a693f3ecb8cdb88c904fb87bd2365","committime":"2021-03-05T20:33:10","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.10 ppc64, #774231"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ef1dc581aae900a3c26d9eb60dbe66fd2b5330fa","committime":"2021-03-05T15:21:58","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.13, Repoman-3.0.2\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"23aee9d715590627ae6ba977e322086f0d7bfc4b","committime":"2021-03-05T15:02:39","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: amd64 stable wrt bug #774231"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1dff3a9cc55a774f4fc27700fd644ff18d7d5da9","committime":"2021-03-05T14:36:59","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.13, Repoman-3.0.2\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"22143815992ab7ef562f74557560ef9d716645e1","committime":"2021-03-05T14:19:10","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: x86 stable wrt bug #774231"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2c6c2efe4c1a02689bcd5e6e58a54035dec44025","committime":"2021-01-31T02:18:05","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"d8cbaa62dbf4abc31cc74d2cc12e3d0c7ac9b70a","committime":"2021-01-30T23:36:06","packageid":66323,"repoid":1,"summary":"*\/*: Remove obsolete values from PYTHON_COMPAT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3cde3298dd85c98728a8bf5bfdb3987c6fc5b2b3","committime":"2021-01-21T11:32:43","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"b54a6bbfcd1e58e8d6f803b9ca28bcd1f1d92ce9","committime":"2021-01-21T10:22:24","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"eb2de821f7403a535ee9b747fab42caece897936","committime":"2020-12-04T14:35:26","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zlogene@gentoo.org","authorname":"Mikle Kolyada","body":"Signed-off-by: Mikle Kolyada ","commitid":"d0a8cf63f40aa1705fd9239a7dd0a18b4fd792b2","committime":"2020-12-04T13:25:23","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Keyword 4.8.9 riscv, #756115"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9faaebcaf89156c295e26b0d2388c616ebc3db0f","committime":"2020-11-03T11:35:18","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"59765db5d26fab23be38e590413034ca9402903f","committime":"2020-11-03T11:05:17","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"3f2a4f16bbe53b45e116495f9137f16f55938aa3","committime":"2020-11-03T11:00:25","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"711d1c7eaf13c29d83856a19e4dcfefdc5c79cf6","committime":"2020-11-03T10:56:51","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.9 amd64, #751145"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"94f37af660cbac1fcd7bf3d869bda23c5542c4c9","committime":"2020-10-27T00:05:23","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"stable wrt bug #751145\n\nPackage-Manager: Portage-3.0.8, Repoman-3.0.2\nRepoMan-Options: --include-arches=\"ppc64\"\nSigned-off-by: Sergei Trofimovich ","commitid":"7293cc8b208d7e887e656cecef76064fd0fe75c4","committime":"2020-10-26T23:48:21","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: stable 4.8.9 for ppc64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e877548df1a6bd2c19a1ca389e6a7f4c7176376b","committime":"2020-10-26T03:05:14","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"f7174f933083e59a057dc23335be86bbf7ebf7ca","committime":"2020-10-26T02:48:23","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.9 arm, #751145"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"afdff637726759b8c288e45f3e37f2deb89d8db5","committime":"2020-10-26T00:35:16","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"9962a5875ff0a279882ed698ad30f95479dc5e2c","committime":"2020-10-26T00:14:45","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Stabilize 4.8.9 arm64, #751145"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"aaa26a92d15ddd8de5f1259285093509c1a2e644","committime":"2020-10-26T00:05:23","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"whissi@gentoo.org","authorname":"Thomas Deutschmann","body":"Package-Manager: Portage-3.0.8, Repoman-3.0.2\nSigned-off-by: Thomas Deutschmann ","commitid":"d0b6fd8c21128f37c678d9720971363ba60ba7a5","committime":"2020-10-25T23:40:17","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: x86 stable (bug #751145)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"739707534f5718610cd7902a6fd5327cfdc5d526","committime":"2020-09-11T07:35:18","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"4cd7e8dccd2d3f0121e387ad7994efba645ea463","committime":"2020-09-11T06:25:35","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.9"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"36287a0e7af0dbdb38adcf79088480b7d281acf9","committime":"2020-08-05T15:35:18","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"cb82f9b316afc56e73f42a98db6b8208c3d19612","committime":"2020-08-05T15:15:10","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d33fef1f75202e86d8eeb3fd3f72a6206db1942c","committime":"2020-08-05T14:35:15","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.99, Repoman-2.3.22\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"263982c34e641aa6c77ab597e888f2615029ccfc","committime":"2020-08-05T14:16:01","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: x86 stable wrt bug #734542"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3469ff077d565f5e56306433b8353fa968783197","committime":"2020-08-05T14:05:19","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.99, Repoman-2.3.22\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"1af661f3508b27ac9bc3f6910f702e8a385fcc17","committime":"2020-08-05T13:49:44","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: amd64 stable wrt bug #734542"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"24ec451d6b70903afa5b9f7c3a356c82f9ed90d9","committime":"2020-08-01T09:35:12","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"stable wrt bug #734542\n\nPackage-Manager: Portage-3.0.1, Repoman-2.3.23\nRepoMan-Options: --include-arches=\"ppc64\"\nSigned-off-by: Sergei Trofimovich ","commitid":"493b23eab2553540e67a91b2738267068719d84b","committime":"2020-08-01T08:55:51","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: stable 4.8.8 for ppc64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3f38af912e806a61b5b66e4e200b2232fd003735","committime":"2020-07-31T20:05:11","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.1, Repoman-2.3.23\nSigned-off-by: Sam James ","commitid":"5c0e2fdd5fc093c5a190a3fd4672b9a1d608662e","committime":"2020-07-31T18:14:30","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: arm stable (bug #734542)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"76cefa3ef276e0a7694286f89d0aecad79bda28a","committime":"2020-07-30T20:35:13","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.1, Repoman-2.3.23\nSigned-off-by: Sam James ","commitid":"6745f1bc9d90331943183e164fee73cc8906363f","committime":"2020-07-30T20:21:45","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: arm64 stable (bug #734542)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"caec5d8ed287157de1bf5f14eaaa1943adcc50d6","committime":"2020-06-08T09:05:24","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"8c4b9659dd3ae5ff78f6c74d2ef92005d8b71a6c","committime":"2020-06-08T08:44:55","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Port to cmake.eclass"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5d4b7a367ad1e1fb48d151fe183e7965fd762a4b","committime":"2020-05-14T06:35:08","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"4a8053a105372c6eaf0a11c42681602b8fb20f67","committime":"2020-05-14T06:17:44","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.8"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6b4253d4b4ad1ad0acea4d3d77d899ea58081f43","committime":"2020-03-20T19:42:11","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"chutzpah@gentoo.org","authorname":"Patrick McLean","body":"Package-Manager: Portage-2.3.94, Repoman-2.3.21\nSigned-off-by: Patrick McLean ","commitid":"41164167a2eb4aaab591f86657a655d3e84bda1a","committime":"2020-03-20T19:16:49","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3-4.8.6: Add missing dep on dev-libs\/gmp[cxx]"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1b4df00a0a4ddb7f968c0338e7d4b5b9fb5cd6da","committime":"2020-02-10T12:46:40","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"9ab2bf87153f864e9794f3f7dacf38b4e4e47614","committime":"2020-02-10T12:07:12","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove py2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4747d40122d485033fe9f863f4b4330bf0651903","committime":"2020-01-05T11:14:55","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Closes: https:\/\/github.com\/gentoo\/gentoo\/pull\/14246\nSigned-off-by: Michał Górny ","commitid":"cd3f25deb13cf4d6c9d721d515dbf772a988426f","committime":"2020-01-05T09:36:11","packageid":66323,"repoid":1,"summary":"*\/*: Clean PYTHON_COMPAT of obsolete impls"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f02a5430f0097d00c2db09521250b90729fbf000","committime":"2019-12-08T18:11:25","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"15f23bbe7132e4eeadce21f5f2f456d55606f69c","committime":"2019-12-08T11:14:43","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Tested on python3.8"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"999619070531f3fff5f90aed174dd8eda33180b1","committime":"2019-12-08T00:07:04","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Package-Manager: Portage-2.3.81, Repoman-2.3.20\nSigned-off-by: David Seifert ","commitid":"7e4c5ab0f9a5639c652cd5aa746e65ce8476bcf9","committime":"2019-12-07T23:48:55","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"481b9896ba194a65689c2ad3a00461e4862c35a9","committime":"2019-11-23T19:05:51","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"bman@gentoo.org","authorname":"Aaron Bauman","body":"Signed-off-by: Aaron Bauman \nPackage-Manager: Portage-2.3.79, Repoman-2.3.18","commitid":"c3165f1a6324c5c9d5d6e3a8c8498f25e766d8a1","committime":"2019-11-23T18:47:45","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: arm64 stable (bug #700296)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6b89e85fe8db343dc3a5cde3e51824ea45a27d50","committime":"2019-11-22T10:25:55","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zlogene@gentoo.org","authorname":"Mikle Kolyada","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"arm\"\nSigned-off-by: Mikle Kolyada ","commitid":"1d647b9e9e51720c117d2654481bbbd16789fece","committime":"2019-11-22T10:00:13","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: arm stable wrt bug #700296"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"408c1b585c6d79720b90b45f731aee3becd34140","committime":"2019-11-20T11:45:48","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"ppc64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"82b158c377b2aa3fb14b1e117031c06c565ba8f2","committime":"2019-11-20T11:20:30","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: ppc64 stable wrt bug #700296"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"82d7490fc847631ba3b4fdfe71c7b2c1dc9056ac","committime":"2019-11-19T15:49:26","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"97496908a03c3e9154601766715a6db26630fd2a","committime":"2019-11-19T15:37:40","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: x86 stable wrt bug #700296"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4409af81792c6b6ab68c8a9e712efb35f0420d64","committime":"2019-11-18T12:05:54","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"affd103706233db1acbf960a7fed374760826ef4","committime":"2019-11-18T11:48:22","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: amd64 stable wrt bug #700296"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6dfeab7a3b12fbcf968d1b01d51fd1e71fadef43","committime":"2019-09-20T07:45:57","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"f428deeffd227260521fe3385af0b74a7512775b","committime":"2019-09-20T06:05:48","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.6"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e01c10423192bcbeb963869795cf491d58eb8018","committime":"2019-09-16T22:45:35","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"bman@gentoo.org","authorname":"Aaron Bauman","body":"Signed-off-by: Aaron Bauman \nPackage-Manager: Portage-2.3.76, Repoman-2.3.17","commitid":"824cd4dc872e032a7f12ed270c9833ae36867ba6","committime":"2019-09-16T21:52:18","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: arm64 stable (bug #693856)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0a220b7b517698c0d77ff725207cb37b769b1739","committime":"2019-09-13T16:05:44","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zlogene@gentoo.org","authorname":"Mikle Kolyada","body":"Package-Manager: Portage-2.3.69, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"arm\"\nSigned-off-by: Mikle Kolyada ","commitid":"f3ce077e0a156ea0fceefab02ca78ecb7692dfc0","committime":"2019-09-13T15:46:01","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: arm stable wrt bug #693856"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"becb6ffc14036e5975bcb5dc8c209af9d197dd5b","committime":"2019-09-11T11:25:38","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.69, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"ppc64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"bf98a372f7379b35892f9924bd2dd501b44998b6","committime":"2019-09-11T11:05:23","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: ppc64 stable wrt bug #693856"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9c4dc075b0e80ca28ba558c9aa1e2fe585a63136","committime":"2019-09-10T07:45:32","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.69, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"934ebbb2d27cc2982f8e322b73fe5434fa9b2f60","committime":"2019-09-10T07:09:32","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: x86 stable wrt bug #693856"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.69, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"56fd2eeb8cd30a2b462888978a2a63f54c830f4e","committime":"2019-09-10T07:04:56","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: amd64 stable wrt bug #693856"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e46154c41f8f9c72e1df0ff9d2d6bca7437c3749","committime":"2019-06-08T08:24:06","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"3409899da92e08f035024bb3d5a077212209324d","committime":"2019-06-08T07:53:23","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Drop old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"97e634d030300b647723e80e6d8ae41557756aad","committime":"2019-06-01T08:24:07","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"9e8d8756875ac679ca843350a5701d2dec5054e1","committime":"2019-06-01T06:12:54","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7bc002a9b18554c3a22e4d032fa70be74f95d6ed","committime":"2019-04-17T08:07:39","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"2db67a589e688ba866fce79132f608652bbc4cd8","committime":"2019-04-17T07:48:22","packageid":66323,"repoid":1,"summary":"*\/*: Remove python3_4 PYTHON_COMPAT correctly"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"850f3d67ae7e9ee040a31c2113cc417be9a45bce","committime":"2019-04-10T18:04:08","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"This broke sci-mathematics\/isabelle.\n\nReverts: 6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188.\nSigned-off-by: Michał Górny ","commitid":"0e7a59ce50c3202ff2c3a4bff22be3a9fe69f581","committime":"2019-04-10T17:44:38","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Revert \"Drop old\""},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"24bc22ffc77e84bd1235d57425f1723913f7874a","committime":"2019-04-10T15:24:01","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188","committime":"2019-04-10T14:34:28","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Drop old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d899ad73d6006e15ab1da8235488c877b55e7d1d","committime":"2019-03-21T18:04:19","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Tested by NeddySeagoon.\n\nSigned-off-by: Michał Górny ","commitid":"d7d825568937826da9b338ddd2d9c8738a35d991","committime":"2019-03-21T17:40:57","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Keyword 4.8.4 ~arm64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1af23211e266c8d9ce519c9aa5d7659c2b0f468c","committime":"2019-03-10T08:23:51","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"eeba7d5d605cd8ece37d764f49d16a6b3070a26a","committime":"2019-03-10T07:50:11","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Drop old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"807f7b0557c3cabb31c4ea759156d334def477b8","committime":"2019-02-28T14:43:56","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zlogene@gentoo.org","authorname":"Mikle Kolyada","body":"Signed-off-by: Mikle Kolyada \nPackage-Manager: Portage-2.3.51, Repoman-2.3.11\nRepoMan-Options: --include-arches=\"~arm\"","commitid":"7644a1ca7ed4750a652037312880b2a84a5a47d8","committime":"2019-02-28T14:34:59","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Add ~arm keyword wrt bug #677862"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"88165652f313f63a2479e06d22a1c881d5af5592","committime":"2019-02-17T17:23:55","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Package-Manager: Portage-2.3.60, Repoman-2.3.12\nRepoMan-Options: --include-arches=\"ppc64\"\nSigned-off-by: Sergei Trofimovich ","commitid":"c2c298bd4aaaf977ee67355fb7cb52b4d5165aea","committime":"2019-02-17T17:09:10","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: keyworded 4.8.4 for ppc64, bug #677862"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"792fe84252db9435c2f291ea8039efd9e81231ad","committime":"2019-02-13T14:43:49","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Closes: https:\/\/bugs.gentoo.org\/673506\nSigned-off-by: Michał Górny ","commitid":"161f54d839375b13907191e4d31f31ebb28effee","committime":"2019-02-13T12:49:21","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"76f95affa3cbbc75f38a78a42a3b3e5505e9e4d6","committime":"2019-01-09T20:43:57","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"d0fee11357ffe0565595fdc1822fe8556dbf730e","committime":"2019-01-09T19:31:06","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Enable multilib support"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"72fbe4aebdf8743ff99b2bde0ed497902e947716","committime":"2018-12-13T21:04:09","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"a7f6efd5ca806e141c760fccb31e3b5a9b0aeeac","committime":"2018-12-13T20:50:27","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Run tests"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"b7d178c8436066544ab87d79a0d11db7163f6100","committime":"2018-12-13T20:30:18","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Enable python3"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Closes: https:\/\/bugs.gentoo.org\/644508\nSigned-off-by: Michał Górny ","commitid":"4fae46a493d81fffc0495a55e449a54a6c71f7be","committime":"2018-12-13T20:15:09","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Bump to 4.8.3, major ebuild overhaul"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"71772f1545707ba13045f9d98f1dcea1aceb18fe","committime":"2017-04-26T08:21:55","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Thanks to mgorny for reporting and the fix, K_F, Blackb|rd and Arfrever for helping.\n\nPackage-Manager: portage-2.3.5","commitid":"fac58ef78e53cdf1de639bb181601565443f3d5c","committime":"2017-04-26T08:12:07","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Use echo instead of elog."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"Signed-off-by: Robin H. Johnson ","commitid":"61b861acd7b49083dab687e133f30f3331cb7480","committime":"2017-02-28T19:47:27","packageid":66323,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d28869ab87f295fb754002e900bced51d09f94c9","committime":"2017-02-16T10:42:07","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"On my LANG=ru_RU.UTF-8 locale configure step fails as:\n File \"scripts\/mk_make.py\", line 21, in \n ...\n UnicodeEncodeError: 'ascii' codec can't encode characters in position 80-82: ordinal not in range(128)\n\nWorkaround configure breakage by stabilising locale.\n\nPackage-Manager: Portage-2.3.3, Repoman-2.3.1","commitid":"8111d0a41b274000576ef2fd1be3e2e9d9afa1d7","committime":"2017-02-15T23:00:44","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: workaround configure failure on non-ASCII"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"96d5391837e2756c27e184b4310c2ee2c39fcdb6","committime":"2017-01-28T10:42:48","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Package-Manager: portage-2.3.3","commitid":"07ebca957c5d2f5816e382aba63f05951ddd6b03","committime":"2017-01-28T10:34:37","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Fix examples install directory."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"4d551ec7b96b2a2c604a4379ca3f1e1903a329bd","committime":"2017-01-28T09:02:47","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Create shared library soname symlinks. Add examples USE flag. Add || die\non cat of files, except in pkg_postinst() where we want it to ignore any\nerrors.\n\nGentoo-Bug: 605892\n\nPackage-Manager: portage-2.3.3","commitid":"7cea2dfa7e45f8d6fb0a0fbd5b3ff808ca25a585","committime":"2017-01-28T08:48:44","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Fix python API, thanks to Jonas Jelten for reporting."},{"authoremail":"malfatti@neuro.ufrn.br","authorname":"T. Malfatti","commitid":"8457ba6f9fd6f0dbafcca1fb375788eeea02aae1","committime":"2017-01-26T18:44:34","packageid":66323,"repoid":1,"summary":"media-libs\/portaudio: Version bump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"067135912837ff916cf3b47bf58a35814ed0420e","committime":"2017-01-03T10:42:15","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Fix 604450 z3-4.5.0 build fails if doxygen is not installed. Implement better\nfix for 604362 install for USE=\"python -doc\", thanks to Toralf Forster for\nreporting.\n\nGentoo-bug: 604450, 604362\n\nPackage-Manager: portage-2.3.3","commitid":"ecbf57250a9e67afce63516df4497c2fb9f6fcec","committime":"2017-01-03T10:24:32","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Thanks to Daniel Gulotta for reporting."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"2fa5f91ef9e6e09603fe2da2fcfdecb31f53b162","committime":"2017-01-02T14:02:02","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Gentoo-bug: 604362\n\nPackage-Manager: portage-2.3.3","commitid":"7949c35cc55beb75a3d9bb6d7c62430ac52d7c81","committime":"2017-01-02T13:48:33","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Fix install for USE=\"python -doc\", thanks to Toralf F?rster for reporting."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"3915f8802e06b741d225991659d4ae470e51a6f9","committime":"2017-01-02T00:41:56","packageid":66323,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Gentoo-bug: 602498, 602600\n\nPackage-Manager: portage-2.3.3","commitid":"e1bee0588417636345663574e7c1ef127abbebe6","committime":"2017-01-02T00:18:51","packageid":66323,"repoid":1,"summary":"sci-mathematics\/z3: Thanks to Yichao Zhou, jlec and slyfox for development on the z3 ebuilds. Thanks to David E. Narv?ez for reporting and patching."}],"dependencies":[{"block":false,"categoryid":396,"description":"Virtual for Java Development Kit (JDK)","ebuildids":[890584],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"jdk","packageid":42905},{"block":false,"categoryid":450,"description":"An interpreted, interactive, object-oriented programming language","ebuildids":[890584,890584,890584,890584],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"block":false,"categoryid":406,"description":"Java environment configuration query tool","ebuildids":[890584],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"java-config","packageid":51445,"summary":"java-config is used to configure the Java subsystem on your Gentoo installation. In particular, it can be used to configure system-wide and per-user default JVMs, construct classpath env vars from installed java packages and be used to query for the path to various JDK tools."},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[890584],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"depending":[{"block":false,"categoryid":354,"description":"A mesh slicer to generate G-code for fused-filament-fabrication (3D printers)","ebuildids":[826732,826732,881614,881614],"firstseen":"2020-12-15T20:23:46.950893","name":"prusaslicer","packageid":72272,"summary":"PrusaSlicer takes 3D models (STL, OBJ, AMF) and converts them into G-code instructions for FFF printers or PNG layers for mSLA 3D printers. It's compatible with any modern printer based on the RepRap toolchain, including all those based on the Marlin, Prusa, Sprinter and Repetier firmware. It also works with Mach3, LinuxCNC and Machinekit controllers. PrusaSlicer is based on Slic3r by Alessandro Ranellucci and the RepRap community."},{"block":false,"categoryid":317,"description":"The Vampire Prover, theorem prover for first-order logic","ebuildids":[839704,839704,887553,887553],"firstseen":"2021-12-11T15:06:40.720898","name":"vampire","packageid":73738,"summary":"Vampire is a theorem prover, that is, a system able to prove theorems — although now it can do much more! Its main focus is in proving theorems in first-order logic but it can also prove non-theorems and build finite models, as well as reasoning in combinations of theories, such as arithmetic, arrays, and datatypes, and with higher-order logic. The development of Vampire began in 1994 and has survived a number of rewritings."},{"block":false,"categoryid":428,"description":"Use to display information about binary files in different file formats","ebuildids":[737780,737780,828431,828431,858785,858785],"firstseen":"2022-01-28T05:41:42.639875","name":"ropper","packageid":74278,"summary":"You can use ropper to display information about binary files in different file formats and you can search for gadgets to build rop chains for different architectures."},{"block":false,"categoryid":450,"description":"Verification-aware programming language","ebuildids":[876159],"firstseen":"2022-06-29T17:34:09.417548","name":"dafny-bin","packageid":75101,"summary":"Dafny is a verification-ready programming language. As you type in your program, Dafny's verifier constantly looks over your shoulder, flags any errors, shows you counterexamples, and congratulates you when your code matches your specifications. When you're done, Dafny can compile your code to C#, Java, JavaScript or Go (more to come!), so it can integrate with your existing workflow. Dafny will give you assurance that your code meets the specifications you write, while letting you write both code and specifications in the Dafny programming language itself. Since verification is an integral part of development, it will thus reduce the risk of costly late-stage bugs that are typically missed by testing. Dafny has support for common programming concepts such as classes and trait inheritance, inductive datatypes that can have methods and are suitable for pattern matching, lazily unbounded datatypes, subset types e.g. for bounded integers, lambdas, and immutable and mutable data structures. Dafny also offers an extensive toolbox for mathematical proofs, such as unbounded and bounded quantifiers, calculational proofs, pre- and post-conditions, termination conditions, loop invariants, and read\/write specifications."},{"block":false,"categoryid":450,"description":"SMT-based program verifier","ebuildids":[884448],"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."},{"block":false,"categoryid":450,"description":"Dafny is a verification-aware programming language","ebuildids":[873976],"firstseen":"2023-09-17T20:47:46.121409","name":"dafny","packageid":76486,"summary":"Dafny is a verification-ready programming language. As you type in your program, Dafny's verifier constantly looks over your shoulder, flags any errors, shows you counterexamples, and congratulates you when your code matches your specifications. When you're done, Dafny can compile your code to C#, Java, JavaScript or Go (more to come!), so it can integrate with your existing workflow. Dafny will give you assurance that your code meets the specifications you write, while letting you write both code and specifications in the Dafny programming language itself. Since verification is an integral part of development, it will thus reduce the risk of costly late-stage bugs that are typically missed by testing. Dafny has support for common programming concepts such as classes and trait inheritance, inductive datatypes that can have methods and are suitable for pattern matching, lazily unbounded datatypes, subset types e.g. for bounded integers, lambdas, and immutable and mutable data structures. Dafny also offers an extensive toolbox for mathematical proofs, such as unbounded and bounded quantifiers, calculational proofs, pre- and post-conditions, termination conditions, loop invariants, and read\/write specifications."},{"block":false,"categoryid":1596,"description":"Low Level Virtual Machine","ebuildids":[847323,847323,847324,847324,847325,847325,851114,851114,869872,869872,884786,884786,887470,887470,891078,891078,893303,893303,893565,893565,894073,894073],"firstseen":"2024-12-11T12:13:21.481019","name":"llvm","packageid":78059,"summary":"Low Level Virtual Machine (LLVM) is: 1. A compilation strategy designed to enable effective program optimization across the entire lifetime of a program. LLVM supports effective optimization at compile time, link-time (particularly interprocedural), run-time and offline (i.e., after software is installed), while remaining transparent to developers and maintaining compatibility with existing build scripts. 2. A virtual instruction set - LLVM is a low-level object code representation that uses simple RISC-like instructions, but provides rich, language-independent, type information and dataflow (SSA) information about operands. This combination enables sophisticated transformations on object code, while remaining light-weight enough to be attached to the executable. This combination is key to allowing link-time, run-time, and offline transformations. 3. A compiler infrastructure - LLVM is also a collection of source code that implements the language and compilation strategy. The primary components of the LLVM infrastructure are a GCC-based C and C++ front-end, a link-time optimization framework with a growing set of global and interprocedural analyses and transformations, static back-ends for many popular (and some obscure) architectures, a back-end which emits portable C code, and a Just-In-Time compilers for several architectures. 4. LLVM does not imply things that you would expect from a high-level virtual machine. It does not require garbage collection or run-time code generation (In fact, LLVM makes a great static compiler!). Note that optional LLVM components can be used to build high-level virtual machines and other systems that need these services."}],"ebuilds":[{"archs":["amd64","arm","arm64","ppc64","x86","~loong","~mips","~ppc","~riscv","~sparc"],"ebuildid":890584,"firstseen":"2026-02-20T14:29:58.201575","license":"MIT","moddate":"2026-03-30T13:49:45","packageid":66323,"repoid":1,"slot":"0\/4.16","uses":["abi_mips_n32","abi_mips_n64","abi_mips_o32","abi_s390_32","abi_s390_64","abi_x86_32","abi_x86_64","abi_x86_x32","doc","examples","gmp","isabelle","java","python","python_single_target_python3_11","python_single_target_python3_12","python_single_target_python3_13","python_single_target_python3_14"],"version":"4.16.0"}],"masks":[],"package":{"categoryid":317,"description":"An efficient theorem prover","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."},"rdependencies":[{"block":false,"categoryid":450,"description":"An interpreted, interactive, object-oriented programming language","ebuildids":[890584,890584,890584,890584],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"block":false,"categoryid":406,"description":"Java environment configuration query tool","ebuildids":[890584],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"java-config","packageid":51445,"summary":"java-config is used to configure the Java subsystem on your Gentoo installation. In particular, it can be used to configure system-wide and per-user default JVMs, construct classpath env vars from installed java packages and be used to query for the path to various JDK tools."},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[890584],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"repos":[{"branch":"master","lastcommit":"43a4988e0fa15f038220ebd74aa888ace0c9b303","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/Z3Prover\/z3\/"],"uses":[{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"},{"description":"Install examples, usually source code","isdefault":false,"use":"examples"},{"description":"Add support for dev-libs\/gmp (GNU MP library)","isdefault":false,"use":"gmp"},{"description":"Add integration support for the Isabelle\/HOL theorem prover.","isdefault":false,"packageid":66323,"use":"isabelle"},{"description":"Add support for Java","isdefault":false,"use":"java"},{"description":"Add optional support\/bindings for the Python language","isdefault":false,"use":"python"},{"description":"64-bit (32-bit pointer) libraries","group":"abi_mips","isdefault":false,"use":"n32"},{"description":"64-bit libraries","group":"abi_mips","isdefault":false,"use":"n64"},{"description":"32-bit libraries","group":"abi_mips","isdefault":false,"use":"o32"},{"description":"32-bit (s390) libraries","group":"abi_s390","isdefault":false,"use":"32"},{"description":"64-bit (s390x) libraries","group":"abi_s390","isdefault":false,"use":"64"},{"description":"32-bit (x86) libraries","group":"abi_x86","isdefault":false,"use":"32"},{"description":"64-bit (amd64) libraries","group":"abi_x86","isdefault":false,"use":"64"},{"description":"x32 ABI libraries","group":"abi_x86","isdefault":false,"use":"x32"},{"description":"Build for Python 3.11 only","group":"python_single_target","isdefault":false,"use":"python3_11"},{"description":"Build for Python 3.12 only","group":"python_single_target","isdefault":false,"use":"python3_12"},{"description":"Build for Python 3.13 only","group":"python_single_target","isdefault":false,"use":"python3_13"},{"description":"Build for Python 3.14 only","group":"python_single_target","isdefault":false,"use":"python3_14"}]}