{"bugs":[{"bugid":921365,"firstseen":"2024-01-04T19:48:43.633459","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/lean-4.11.0 does not respect CFLAGS (GCC-14-SYSTEM)"},{"bugid":939891,"firstseen":"2024-09-20T08:58:54.945424","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/lean-4.14.0-r1 - [ncurses-6.5] [gcc-15] One or more CMake variables were not used by the project:"},{"bugid":946977,"firstseen":"2024-12-27T00:00:51.039030","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/lean-4.11.0 - [llvm] deps=lean --deps LeanClosedTermCache.lean || (echo lean --deps LeanClosedTermCache.lean failed ($?): $deps; exit 1); \\"},{"bugid":951466,"firstseen":"2025-03-16T17:56:13.431122","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/lean-4.14.0-r1 - [meson] [gcc-15] error: unrecognized command-line option --print-target-triple"},{"bugid":955209,"firstseen":"2025-05-01T20:48:24.171941","severity":"normal","status":"UNCONFIRMED","summary":"sci-mathematics\/lean-4.14.0-r1 fails compilation: stack overflow detected"}],"categories":[{"categoryid":393,"name":"dev-libs","summary":"The dev-libs category contains various miscellaneous programming libraries."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c51a26e2d7d8ebf050a24dbff5ccc359b7aa4d28","committime":"2025-02-19T07:48:26","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"1062e1b946790c1245a5c9ea2abdc4a609a13aba","committime":"2025-02-19T07:32:19","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: Stabilize 4.14.0-r1 amd64, #949943"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"18b9f659415b71aad4fe83b4f93115bac12b43b2","committime":"2025-02-02T17:33:21","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/939854\nCloses: https:\/\/bugs.gentoo.org\/937429\nCloses: https:\/\/bugs.gentoo.org\/936618\nSigned-off-by: Maciej Barć ","commitid":"330f97cf5cc6e728931a94f8b4cc5b9ae100505c","committime":"2025-02-02T17:12:42","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: treeclean SLOT 0\/3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8294a69ad32af94f757479ca667de9829968988b","committime":"2025-01-02T23:18:16","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"726810e26b3adbf4aa7b7efe2737509a7b2f4c5f","committime":"2025-01-02T23:02:56","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: add missing libuv dep"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e4d90f676e883a2fb99cf0363b8ca588ba2db715","committime":"2025-01-02T22:03:15","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"81965cf6c0eb42c684391d699a7399beb0ec0fcb","committime":"2025-01-02T21:10:57","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 4.2.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7f33bdc0f00840afb68983bc56c2be40ee5453ee","committime":"2025-01-02T21:10:14","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 4.14.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"25b672b413bac475d6dbb3fff7852aaa200ababe","committime":"2024-12-14T16:03:55","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"0d3bdfb8343f6f5ad6d80aa467d6d24126d60e9e","committime":"2024-12-14T15:57:48","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: Stabilize 4.11.0 amd64, #946385"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4bf227dd4d9bd7cb25677fae3e8ea10dda594956","committime":"2024-09-19T22:18:44","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d88a1ae9ef4b750d5fc037faf997dd5c55a75500","committime":"2024-09-19T22:00:38","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 4.11.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/917789\nCloses: https:\/\/bugs.gentoo.org\/928093\nSigned-off-by: Maciej Barć ","commitid":"77d2f42c3147d7db0e30b8d0b1483bd512e9861f","committime":"2024-09-19T14:39:00","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop ~x86 KEYWORD"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9bc7259087156ad5ea5a30a1cb318231c333e74b","committime":"2024-01-18T17:33:14","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"15dff3a1f5bd74ef84c1f6679be0a464418c60ff","committime":"2024-01-18T17:23:39","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: Stabilize 4.2.0 amd64, #922367"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e7b55509858b599b2be09a27d3829055a8aeed34","committime":"2024-01-15T21:33:16","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/916306\nSigned-off-by: Maciej Barć ","commitid":"c424b1a0464033e5499ea963860773dbf0fea6a0","committime":"2024-01-15T20:10:03","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 4.2.0_rc4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e27d2df708a864d3ff568589d94862852af153d8","committime":"2023-11-30T17:01:59","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b6d29d865fb76d54ffbae7eefa32b2ac04a5cff1","committime":"2023-11-30T09:46:49","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 4.2.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cef979461e6167cfa9b8e20c2a0e0fd78e732293","committime":"2023-10-26T13:18:45","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"2ebcc7f39c3ec50ee080478c0651a13b753b0e90","committime":"2023-10-26T10:06:36","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 4.2.0_rc4"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"0a9f17ccefbfe98fa6b5d3698f412e4def72048b","committime":"2023-10-25T20:03:32","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.9999"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6c2d3cf3497d0b1ea8583c1f283f5a8a758805f3","committime":"2023-10-07T15:01:54","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a34aff2a52124ee5a1ff2c7d8e01aadbc9a55254","committime":"2023-10-07T14:53:12","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.49.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"fa16ba57a6b933ac4c43fb6cffa5c3299fafa616","committime":"2023-10-07T14:53:08","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.50.3"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"479d6e498b77704daeaa13b6643c00bb1915aea5","committime":"2023-10-07T14:53:03","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.51.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e26a8bbcc6f85d01c97bafcf6ba0c9e26bd62473","committime":"2023-08-15T16:01:37","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"ae428f64fdaf392bc0ed57cef1ec5915fdd4d5c2","committime":"2023-08-15T15:45:33","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: Stabilize 3.51.1 amd64, #912297"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4443a42327f8a1f1c6459d8ac1d9b6568d623e2d","committime":"2023-05-26T07:31:54","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"0a01120cbca04b48ee8e276775bca1d68184ad51","committime":"2023-05-26T07:14:40","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: Stabilize 3.50.3 amd64, #907180"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6e59d32a960249f1b083f4b3b0d47ce1cba94f51","committime":"2023-05-24T23:31:54","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"fe3cf754c1e7031e14cfbe8491fc00e6de38ab81","committime":"2023-05-24T23:15:06","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.51.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c31f0cac58884629a871b8b6361da7e7c3bc497a","committime":"2023-05-17T21:01:56","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"2700367b2e05b7d45e0400d13a6d1256206a2300","committime":"2023-05-17T20:21:02","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.51.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"53ad3c32d6aacb1e6e5b6f5dca58884ae0d1e2b3","committime":"2023-04-18T14:01:56","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/895202\nSigned-off-by: Maciej Barć ","commitid":"93eca38ef76c1a9c568155659b891db542f22939","committime":"2023-04-18T13:52:42","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: fix build with GCC 13"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"794b21a627436b9189d5ac0caede74e2936c5de8","committime":"2023-04-18T13:08:18","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.50.2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"0821d9165c3618576c8658be0545906e3b85d9a5","committime":"2023-04-18T13:08:13","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.50.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5c4e9808ef8182942141a7bc18da9f6f51b0c072","committime":"2022-12-27T02:33:03","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ca603043a7b48df6477fe7addee7dddadfad2664","committime":"2022-12-27T02:14:07","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.50.3"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6ae7758296c1aeb975019f0d0b72ce3aac209512","committime":"2022-12-27T02:01:24","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.50.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ec91e1a01363faefecb23bf6a8437ae8db6013c8","committime":"2022-12-24T03:02:04","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"fb75aa659ac9fd8c44cb96b3c45441cca6ff58a0","committime":"2022-12-24T02:45:46","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.50.2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"9c2a388c47e62f982dd56125265afec2ceac9de7","committime":"2022-12-24T02:35:51","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.49.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"981ab601304ca4229306bf67712d87e017a4e69b","committime":"2022-12-22T00:02:13","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b9d8d9bfb9a22e7736057a5aa9d7a83876caa5d9","committime":"2022-12-21T23:51:55","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: Stabilize 3.49.0 amd64, #887811"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"9d57ecf9103a6e6d1a83e9c066531624660345ca","committime":"2022-12-21T23:32:02","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.50.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"49e9d609b28c67714b3fbd1dd967df03f232a4c0","committime":"2022-12-15T08:46:55","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ff43595f6fc27b3ffca106f140c5e677f7c38418","committime":"2022-12-15T08:31:04","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.50.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ad73daf529a2e367c224390bf18f17e72fa3ccd3","committime":"2022-12-15T08:17:58","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.48.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c07ecd3a781cdb9c02c6b9b3c212e46c528d6de5","committime":"2022-12-15T08:16:23","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.47.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"11eb6009be6bf67aed3cccf29ac871392044aad6","committime":"2022-11-18T22:31:45","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"9f378b9a170e462527b9d6580df1f653a7ab15e1","committime":"2022-11-18T22:13:11","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.49.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ba463b02cc7cff7cc7b2f9c274bf79411782e0b7","committime":"2022-11-12T05:31:43","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3a343e45ca66c1757266e59583465526adf1c056","committime":"2022-11-12T05:02:46","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.46.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e8151b7873f72fce1435682a90e2a41fa464ae35","committime":"2022-11-12T04:33:22","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.49.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b53a4ee8843cdf6483d76022211e1387e51fe8ac","committime":"2022-08-30T14:46:57","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e0ab0acc6d5afb6a4ada31765fefad105c05a204","committime":"2022-08-30T14:35:20","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.45.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"4c42b4e422dded92c6d4964caf09f6d6ac9c5800","committime":"2022-08-30T13:42:47","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.48.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f18c648152e74b430e33f939a14a3d819adaa9c9","committime":"2022-08-26T00:46:48","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c872faa59cdf7824ca359cbd30682806fa636898","committime":"2022-08-26T00:15:03","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.44.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"48ab1124b5f76709034a86da56caa70933173cef","committime":"2022-08-26T00:12:51","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.47.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"83a2c3f160fefff958a12efb306e3ad54e3bd159","committime":"2022-08-26T00:12:18","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: fix live"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3d2a6385c102f5c4095bf985b0fe014dce4ebd8b","committime":"2022-08-09T01:01:49","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3b93a2c696da21d2f18531ea9ed81c730e73e69f","committime":"2022-08-09T00:02:09","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.43.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b5dd196eb69a20afced12e16dfdb0235ed590f52","committime":"2022-08-08T23:59:11","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.46.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"03ac8a580232f2529b55d4a1a28abd75ca9eef6e","committime":"2022-08-02T21:46:46","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/863086\nSigned-off-by: Maciej Barć ","commitid":"56a7877fca5ed96053d93689e4e4a28786f3003f","committime":"2022-08-02T21:42:02","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: filter LTO (odr)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a2fe37f866b0b37a2a6d73e1fb525bc208075e31","committime":"2022-07-14T10:16:35","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"57d436b81243c5cd193dadc99d83aaaf61513017","committime":"2022-07-14T09:38:26","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.42.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a8bce87f953078b3eadf7659b15626c415ce13cd","committime":"2022-07-14T08:06:54","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.45.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cfe83245b9cef906213162e9a0c785240f076e41","committime":"2022-06-27T15:01:32","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b276a47dda6fd8ab8a9a8aa332776bcea2e35ee0","committime":"2022-06-27T14:42:04","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.39.1 & 3.42.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"657666c6a8b6cbfc7a0acdb14d343300c056f54a","committime":"2022-06-27T14:41:16","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.44.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"247a632a1330485bf64655db8c541cf7425f8893","committime":"2022-05-18T19:32:55","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"36d52f5fb108e6cc0663a6cbfdce443127a6577f","committime":"2022-05-18T19:14:16","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.41.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"2d71d221298ddf5a54541872cfdb99799e1246d6","committime":"2022-05-18T19:13:55","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.43.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d57933a20a5379e77e7e1a24c7d7b22e5066fb67","committime":"2022-03-27T02:05:26","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7640503c4f08775eef6ccf16d7a5ccb93ac5d25d","committime":"2022-03-27T00:57:39","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.40.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e124cd89e3a8e36edbccc14fd5b791b8c11b9857","committime":"2022-03-27T00:56:32","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.42.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2c5d3754fe19083231cb4731fd3e1eff52cb47bd","committime":"2022-03-26T20:04:34","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"6f0f88b35d832c70ae0fe4817a70623718d86bf4","committime":"2022-03-26T19:46:58","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: amd64 stable wrt bug #835981"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2f4419cdff4d623a1e40fbfb675f1df155972179","committime":"2022-03-18T19:55:22","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"61bd2fdc46fc2e895d15dabd68a31c19322ad37f","committime":"2022-03-18T18:29:39","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.42.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"147c211491f31cfc39c7880bc767b55473372c3f","committime":"2022-03-12T10:44:34","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3f0b44230b3002df360b247e3906e3c23d701f5a","committime":"2022-03-12T10:14:36","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.38.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7746d09bf48110a2fb6d76732811beb2565171d6","committime":"2022-03-12T09:59:38","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.41.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a741f26e5875d5fc55cd71b43f0e300bd119178d","committime":"2022-02-22T18:51:46","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/833900\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"024840070aea8eb50149f8f9d97df53a3f1fb940","committime":"2022-02-22T18:32:10","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: remove USE=json and inherit of optfeature"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"6e3bf14e2fb5e305a6bd887e804499bb2521f380","committime":"2022-02-22T17:43:36","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.37.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"3d11f6436d29d336eed1d2917507135ba0759e6d","committime":"2022-02-22T17:43:06","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.40.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"024e92f92fb8af62374fc2190f939329bb3c58c5","committime":"2022-02-08T17:37:31","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/828088\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"4db633aab7e4f7334eb29434098fd7a18f428b9e","committime":"2022-02-08T17:11:41","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: drop old 3.35.1-r2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"34df81ac434b83d7e7c4bfffb68959f67719a82c","committime":"2022-02-08T17:09:22","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.39.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0b6eceaf308ed21c73ee0fa8a322f10f78db3f5b","committime":"2022-01-30T19:36:41","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"f45b887a09c256445f76e9764e27501424636a83","committime":"2022-01-30T19:21:08","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.38.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9948d78b071c753efa2ab23c853c1fb9237ece25","committime":"2022-01-08T03:21:40","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"6e592397386181641bc0ca1cd8c40417a460e5cd","committime":"2022-01-08T03:01:49","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: bump to 3.37.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e20d466700fbe1c505a34514c91bda846eefb617","committime":"2021-12-04T02:57:43","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"0539348664c95ea43e2156585ecedcc306ce7513","committime":"2021-12-04T02:29:23","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: gmp slot"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"05a172cecd87b1a5c74668464b2396b5afa4bb0f","committime":"2021-11-26T14:36:27","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"34386f101654e6e97603cd2b2ff7c9ab64e0dcfb","committime":"2021-11-26T14:16:04","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: add live"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"0ceb76e690bd355afa6d84a9d2f2ebcaec422baa","committime":"2021-11-26T14:04:04","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: always use non-hardcoded MAJOR; use readme.gentoo"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ca1edc17df0c0aee79ae55695e07a3df4528ed60","committime":"2021-11-26T13:21:25","packageid":73639,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"7d5b1c7ba22597740387ad17314b58d88e941474","committime":"2021-11-26T12:06:35","packageid":73639,"repoid":1,"summary":"sci-mathematics\/lean: new package; add version 3.35.1"}],"dependencies":[{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[838646,849623],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512},{"block":false,"categoryid":393,"description":"Cross-platform asychronous I\/O","ebuildids":[849623],"firstseen":"2013-08-02T13:36:37.879183","name":"libuv","packageid":61068,"summary":"libuv is a platform layer for node.js. Its purpose is to abstract IOCP on Windows and epoll\/kqueue\/event ports\/etc. on Unix systems. We intend to eventually contain all platform differences in this library. Features: * Non-blocking TCP sockets * Non-blocking named pipes * UDP * Timers * Child process spawning * Asynchronous DNS via uv_getaddrinfo. * Asynchronous file system APIs uv_fs_* * High resolution time uv_hrtime * Current executable path look up uv_exepath * Thread pool scheduling uv_queue_work * ANSI escape code controlled TTY uv_tty_t * File system events using inotify, kqueue, event ports, FSEvents and ReadDirectoryChangesW * IPC and socket sharing between processes uv_write2"},{"block":false,"categoryid":317,"description":"Simplified Satisfiability Solver","ebuildids":[849623],"firstseen":"2021-12-28T15:08:33.247115","name":"cadical","packageid":73921,"summary":"The goal of CaDiCaL is to provide a clean and efficient state-of-the-art CDCL solver, which is also easy to understand and change."}],"depending":[],"ebuilds":[{"archs":["amd64"],"ebuildid":849623,"firstseen":"2025-01-02T23:37:39.866472","license":"Apache-2.0","moddate":"2025-05-08T13:14:28","packageid":73639,"repoid":1,"slot":"0\/4","uses":["debug","source"],"version":"4.14.0-r1"},{"archs":["amd64"],"ebuildid":838646,"firstseen":"2024-09-19T23:35:04.295123","license":"Apache-2.0","moddate":"2025-05-08T13:14:28","packageid":73639,"repoid":1,"slot":"0\/4","uses":["debug","source"],"version":"4.11.0"}],"masks":[],"package":{"categoryid":317,"description":"The Lean Theorem Prover","firstseen":"2021-11-26T13:37:00.805088","name":"lean","packageid":73639,"summary":"The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research. Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming."},"rdependencies":[{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[838646,849623],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512},{"block":false,"categoryid":393,"description":"Cross-platform asychronous I\/O","ebuildids":[849623],"firstseen":"2013-08-02T13:36:37.879183","name":"libuv","packageid":61068,"summary":"libuv is a platform layer for node.js. Its purpose is to abstract IOCP on Windows and epoll\/kqueue\/event ports\/etc. on Unix systems. We intend to eventually contain all platform differences in this library. Features: * Non-blocking TCP sockets * Non-blocking named pipes * UDP * Timers * Child process spawning * Asynchronous DNS via uv_getaddrinfo. * Asynchronous file system APIs uv_fs_* * High resolution time uv_hrtime * Current executable path look up uv_exepath * Thread pool scheduling uv_queue_work * ANSI escape code controlled TTY uv_tty_t * File system events using inotify, kqueue, event ports, FSEvents and ReadDirectoryChangesW * IPC and socket sharing between processes uv_write2"},{"block":false,"categoryid":317,"description":"Simplified Satisfiability Solver","ebuildids":[849623],"firstseen":"2021-12-28T15:08:33.247115","name":"cadical","packageid":73921,"summary":"The goal of CaDiCaL is to provide a clean and efficient state-of-the-art CDCL solver, which is also easy to understand and change."}],"repos":[{"branch":"master","lastcommit":"83b1268c5aac6ae9b0760d1fb99a3cf736f62f25","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/leanprover\/lean4\/","https:\/\/leanprover-community.github.io\/"],"uses":[{"description":"Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https:\/\/wiki.gentoo.org\/wiki\/Project:Quality_Assurance\/Backtraces","isdefault":false,"use":"debug"},{"description":"Zip the sources and install them","isdefault":false,"use":"source"}]}