{"bugs":[],"categories":[{"categoryid":391,"name":"app-text","summary":"The app-text category contains tools for working with human-language text files."},{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":314,"name":"dev-ml","summary":"The dev-ml category contains libraries and utilities relevant to the ML programming language."},{"categoryid":451,"name":"net-misc","summary":"The net-misc category contains various miscellaneous networking tools and utilities."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."},{"categoryid":330,"name":"x11-libs","summary":"The x11-libs category contains various X11-related libraries."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d0c451fed68c53c4c0ef208c8b4afc657f406755","committime":"2025-07-19T16:37:29","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"f955af620d87bf2f8d3d3c3e2940a289532134c3","committime":"2025-07-19T16:22:56","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: add gtk X use flag"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"93e2c40796020c1c8c289d4712565e568f1ad5c1","committime":"2024-11-16T12:18:23","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/769287\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"fbf650b2d2ce1901665f29a5c8e666cbd39f3545","committime":"2024-11-16T12:06:29","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: drop 2.18.13"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3498c72d74cd986be65d6e6ccacf147f42d8eaf8","committime":"2024-11-12T09:33:22","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"558d94a54a78cf24b86127bbce65888553db250d","committime":"2024-11-12T09:16:35","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: drop 2.18.10, 3.1.1, 3.1.2, 3.1.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a25d9514278f7b7f6ce3151bd0adfe848fb8f5ca","committime":"2024-10-18T15:48:33","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>","commitid":"948e8fde6b7a4527c21e47ba2095009fd21ab57f","committime":"2024-10-18T15:40:12","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.5-r1 arm64, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>","commitid":"c47dc023332d8a0032ea04cb5aa3a4023965770c","committime":"2024-10-18T15:40:03","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.5-r1 arm, #941576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"577f4ed2a7f05e027634e2b45b4e3b07b2b74185","committime":"2024-10-15T15:33:17","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>","commitid":"fc2575ed596ac9d8dc6c804fa36a89179eca5542","committime":"2024-10-15T15:24:41","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.5-r1 x86, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>","commitid":"a55ba750a81e1525dd65ecc09d152d15a723d623","committime":"2024-10-15T15:24:26","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.5-r1 ppc64, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>","commitid":"bb1bddcd01e645d9703b77e6905a30be4446ce04","committime":"2024-10-15T15:24:11","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.5-r1 amd64, #941576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"562fad09561684954963d0a91b23e0a61f2c7932","committime":"2024-09-12T18:49:01","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Change was created by running the following command::\n\n    ekeyword ^ia64 *\/*\/*.ebuild\n\nSigned-off-by: Arthur Zamarin <arthurzam@gentoo.org>","commitid":"0e727a3a16bc2abfd39386f10821d3e5ce89c45a","committime":"2024-09-07T15:44:22","packageid":43080,"repoid":1,"summary":"*\/*: unkeyword ~ia64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2137a2c5292f68b3f626b77370704ee001f88a6f","committime":"2024-06-26T19:34:04","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"2b6d70fa39389a3ba6fcdab76cdfb799d221aae2","committime":"2024-06-26T19:20:12","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: readding PDEPEND"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4bc8f42535e1b9bf6d41336c192a2d00565d5617","committime":"2024-06-26T08:48:56","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"e6a1b6d1bbc507cdb1aea9e5b2dfd024fcc7a175","committime":"2024-06-26T08:30:52","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: add 3.1.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"871db34d38f212bfe090864da487d2be8a10cb09","committime":"2024-06-06T19:33:51","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/879039\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"60a434ebd83c49a184349c71e767f4ffbe2159da","committime":"2024-06-06T19:24:11","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: drop 2.18.12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"285c23f521dc22a1814e951536143f6995628e33","committime":"2023-04-09T13:16:50","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>","commitid":"09d184199fffb46dc7e9d8861b96ba3b40c28f71","committime":"2023-04-09T13:08:09","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.3 x86, #901643"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5c814613ff62b65f632cae022f370705b0c5a3b2","committime":"2023-04-09T13:01:52","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>","commitid":"7f94e5d2992f80ce13ef0d53c71a4345d8428370","committime":"2023-04-09T12:47:47","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.3 arm, #901643"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e67345cb386b0b5ab2752ec1ffa8fbb32b047d6d","committime":"2023-04-09T12:46:47","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>","commitid":"ebf1631531d319a042f423a92538104414bf7514","committime":"2023-04-09T12:40:53","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.3 amd64, #901643"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d07ea6e5b4f0f86f9df6dfd1ef59cbd14e64f407","committime":"2023-04-01T20:01:54","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"c0ad8d09dd8297f5b7b9b506b497e840dfc5a903","committime":"2023-04-01T19:51:56","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.3 arm64, #901643"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f62df3238b3c57ca77ac36976ad1b19b98f68629","committime":"2023-03-17T17:01:58","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>","commitid":"9af4a086f3c06deddd0fd21a928675ff07820cb0","committime":"2023-03-17T16:51:49","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.3 ppc64, #901643"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d7e2b8fe3ad6ff69fe31fb9dea6f9d963d72082e","committime":"2023-03-17T10:16:56","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>","commitid":"b602130bede3a58c8046aee1a923836f318661cd","committime":"2023-03-17T10:03:09","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 2.18.13 ppc64, #901647"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0e287b2ce7f2abff274dbadfcd34b65fd990024d","committime":"2023-03-17T02:31:56","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"0e2e831dd0f4f9edcc3a65f032c47cf87ef485ad","committime":"2023-03-17T02:27:22","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 2.18.13 x86, #901647"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"965d7abb1ea05b1b5aff3f556feb3e19cddbf2e2","committime":"2023-03-17T02:27:21","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 2.18.13 amd64, #901647"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c0e914f05b83a0eeff5151522aae58551d2b1ab2","committime":"2023-03-16T23:32:21","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"c3ebfc47d65db495b87bcbf09ea02817d5c08ca9","committime":"2023-03-16T23:14:53","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 2.18.13 arm64, #901647"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"160728fab1b3cd2eb1e2f4586e2d990279848159","committime":"2023-03-16T23:14:51","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 2.18.13 arm, #901647"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"82cc5bdb5bf8917077df886ccb1b3a1244ffcd5c","committime":"2023-02-15T18:46:46","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mattst88@gentoo.org","authorname":"Matt Turner","body":"Signed-off-by: Matt Turner <mattst88@gentoo.org>","commitid":"8a302f3a48074b7cfffce5c4566c04871cd82d72","committime":"2023-02-15T18:30:14","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Drop alpha keywords"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d1cae186554ad58f50ee672c64e36034c6ed7161","committime":"2023-01-27T22:23:33","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"af424a7023749ea8e88bd74d8e3d0106fbb5fbe5","committime":"2023-01-27T21:58:41","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: add 3.1.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bad024df041c531c82067a14837aa952ebb5bff1","committime":"2023-01-22T20:01:59","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/882691\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"7c60ece88a33d8e6ac3af600081279c8ed4a178d","committime":"2023-01-22T19:54:03","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: fix depend in Makefile"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e57463aef93319b507f1c2af371377b6544ef7bb","committime":"2023-01-20T20:16:53","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"9df549f52400e089447d1628221fa4467b778dd7","committime":"2023-01-20T20:11:18","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: add 2.18.13"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"44a6d2d2bf40879020419967bf0a76aba2248660","committime":"2022-12-23T20:47:02","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/887039\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"8524c3ce6eed7dee7777004321f9e3b5880cc75d","committime":"2022-12-23T20:43:29","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: fix Makefile"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"523e0db8a02c14731da45153f505198270ab21ba","committime":"2022-09-05T22:16:51","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"c1ccd28b75f44642cbde9c66d1064b7496cf7624","committime":"2022-09-05T15:38:41","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: bump to 3.1.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"aa3ae7827cd7e8b1649b8d31736bd531371e2327","committime":"2022-03-06T00:21:50","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/834484\nThanks-to: Petr Zima <zima@matfyz.cz>\nSigned-off-by: Sam James <sam@gentoo.org>","commitid":"bc5ec2dee291efe1f8c43082a44418d35544c263","committime":"2022-03-05T23:54:49","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: add 2.18.12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f39b36bda30e9a806f6c990ca3621fd693f54c28","committime":"2022-03-03T21:36:55","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>\nSigned-off-by: David Seifert <soap@gentoo.org>","commitid":"5a58b3e9d6ece0a1e3e6da7c46d97c534bf4164f","committime":"2022-03-03T21:17:55","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: destabilise for ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b79e58a17a842959eb4f7741abdea848555c87a8","committime":"2021-03-14T01:06:09","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"cfaa50bc5dc4523edec98be271addeeac05e5b54","committime":"2021-03-14T00:44:40","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 2.18.10 arm64, #772833"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"a98fa0e47ec296fbcdb44cd4918f4d731b69a7e0","committime":"2021-03-14T00:31:24","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 2.18.10 arm, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e1b8e8500d244d2df1c27825e1f62f7546d0f623","committime":"2021-03-13T15:36:16","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"76f5a76bed0e45435b96ba2421206df429807b2d","committime":"2021-03-12T17:49:03","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: drop 2.18.5, 2.18.8-r1"},{"authoremail":"asturm@gentoo.org","authorname":"Andreas Sturmlechner","body":"Wrong branch pushed, sorry.\n\nThis reverts commit e3b08dd2f60331b1a5c49a3f86a7e03fde75bebc.\n\nSigned-off-by: Andreas Sturmlechner <asturm@gentoo.org>","commitid":"f7aaa1bd599e40bfffcfb52f7ca5cb2a26250b51","committime":"2021-02-21T10:17:25","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Revert \"Drop 2.18.5 and 2.18.8-r1, EAPI5--\""},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"50c6f95271eb1576bf059e388e1541e9e9655df4","committime":"2021-02-19T21:22:13","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.13, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"86806ebd5e636cbd4b05014652f0f2cc4333cdde","committime":"2021-02-19T21:13:13","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: dep on ocaml<4.06"},{"authoremail":"asturm@gentoo.org","authorname":"Andreas Sturmlechner","body":"Closes: https:\/\/bugs.gentoo.org\/713540\nPackage-Manager: Portage-3.0.14, Repoman-3.0.2\nSigned-off-by: Andreas Sturmlechner <asturm@gentoo.org>","commitid":"e3b08dd2f60331b1a5c49a3f86a7e03fde75bebc","committime":"2021-02-12T17:06:49","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Drop 2.18.5 and 2.18.8-r1, EAPI5--"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7ebe772e3d6e718c7a3daa31aab9aa86f1d48cc8","committime":"2021-02-11T06:52:40","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7d9c5f7ea05df6e9467a40fbb9917307af836ed3","committime":"2021-02-11T06:37:36","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"636880bfaa3dd8390c7206c6b176f7b8636fcc5a","committime":"2021-02-11T06:30:57","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.1 ppc, #769317"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"1805df587d392ca57d3eb2b22d9a6ea396930413","committime":"2021-02-11T06:25:10","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.1 x86, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b45b79ab2dc8417903ad6be83bb57ade817739f6","committime":"2021-02-10T19:07:47","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"208171ae7a0c8d99ba54ab61ae000ccc4062f18a","committime":"2021-02-10T18:51:44","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.1 amd64, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d8fef62db851a87ecbe505be32c86e962ca72ec4","committime":"2021-02-10T16:52:38","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"06f4fab639fefc4ec77152dff5d142188a6dd307","committime":"2021-02-10T16:32:09","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 3.1.1 ppc64, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"72c7a63cb821fab43dc0003564da720513547919","committime":"2021-01-27T20:32:30","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/750788\nPackage-Manager: Portage-3.0.13, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"f19c27066747e568f3b48c50085e6f91046d0e39","committime":"2021-01-27T19:30:36","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: fix dep"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3084edeb762a7b0a9068d98123c88c4457481a6d","committime":"2020-11-01T12:15:00","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Thanks-to: ernsteiswuerfel <erhard_f@mailbox.org>\nSigned-off-by: Sam James <sam@gentoo.org>","commitid":"51ca62340976d4cd2fcd28bda3268b602036e66f","committime":"2020-11-01T11:37:37","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Stabilize 2.18.10 ppc, #713540"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"18b641e272f902f0c84870659062cc94139101aa","committime":"2020-10-28T04:05:16","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.8, Repoman-3.0.2\nSigned-off-by: Sam James <sam@gentoo.org>","commitid":"0f45928b83ab1489cb68e99376ac344cfe296f2e","committime":"2020-10-28T03:30:11","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: ppc64 keyworded (bug #748576)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e4f91163ee007b0193ba6f49c515fc79a344f1fe","committime":"2020-10-24T01:05:15","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"13a3b2107456b4ba9d62e8ed93950a6c557e96da","committime":"2020-10-24T00:16:17","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Keyword 3.1.1 ppc, #748576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ffd73f96f27d530cb7da0661a24a1abfa5d85a83","committime":"2020-10-22T14:05:17","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"61526799cddc966793ad77b6bc168b074dfbcbd8","committime":"2020-10-22T13:57:29","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Keyword 3.1.1 arm, #748576"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"a427d5f863a0b6785588e6917ff6a527adc9a31e","committime":"2020-10-22T13:55:02","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Keyword 3.1.1 arm64, #748576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"92cfd2780dc9102cfe296cb5214c3721bb871b9c","committime":"2020-10-22T12:40:21","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/748690\nPackage-Manager: Portage-3.0.8, Repoman-3.0.2\nSigned-off-by: Sam James <sam@gentoo.org>","commitid":"88148be0156190d75a5d21e86c69cb846eb69de1","committime":"2020-10-22T12:12:51","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: add missing camlp5 dep to 3.1.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c","committime":"2020-10-13T13:23:50","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Package-Manager: Portage-3.0.8, Repoman-3.0.1\nSigned-off-by: Mark Wright <gienah@gentoo.org>","commitid":"a93215805376e419f1431f57ced0100d085d46e6","committime":"2020-10-13T05:31:29","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Add slot 3, bump to 3.1.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4610aa3181c1820adc795103484852db6f4df144","committime":"2020-10-03T14:05:18","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>","commitid":"4f72fdf0d6d07e9e6bcf59fb0ff93b7077327ff2","committime":"2020-10-03T13:45:52","packageid":43080,"repoid":1,"summary":"*\/*: depeywork dev-lang\/ocaml and revdeps on sparc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"130a6bd703fe231a929aa6d544c1457729eae500","committime":"2020-09-20T20:35:14","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.103, Repoman-2.3.23\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"3c6a94138b38015b4548014a3099a5b0572ba5a0","committime":"2020-09-20T20:19:45","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: amd64 stable wrt bug #713540"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"143482ebc9e021803d9eea78bfb56a8c777e2e12","committime":"2020-09-09T19:05:18","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/741392\nPackage-Manager: Portage-3.0.4, Repoman-2.3.23\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"f492cb1be8da58c5c53938cc2404fe84df137030","committime":"2020-09-09T18:34:42","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: fix broken symlink"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"15782ffadcce915251f35041db20af185c78c6fd","committime":"2020-09-07T09:05:19","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"stable wrt bug #713540\n\nPackage-Manager: Portage-3.0.5, Repoman-3.0.1\nRepoMan-Options: --include-arches=\"ppc64\"\nSigned-off-by: Sergei Trofimovich <slyfox@gentoo.org>","commitid":"7c9d7c10839806e586c95b76e43539aaf08a8717","committime":"2020-09-07T08:38:36","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: stable 2.18.10 for ppc64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f571060bf80217152a2edc16b15aea02a5abefb7","committime":"2020-06-21T21:05:09","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"whissi@gentoo.org","authorname":"Thomas Deutschmann","body":"Package-Manager: Portage-2.3.101, Repoman-2.3.22\nSigned-off-by: Thomas Deutschmann <whissi@gentoo.org>","commitid":"85f6ad2d7261f4af844df75f32eec579d8bc3756","committime":"2020-06-21T19:49:47","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: x86 stable (bug #713540)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ad1701be378b04152e2ead0f5a9bc0e9ee0e0a21","committime":"2020-05-14T21:07:03","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/721952\nPackage-Manager: Portage-2.3.99, Repoman-2.3.22\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"2d2bdbe30102051df11a309541b172115cfa7f55","committime":"2020-05-14T20:30:13","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: uses CFLAGS and fix -fno-common"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7e330619608f15fd933afe697de21943b3173183","committime":"2020-04-03T20:08:45","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mattst88@gentoo.org","authorname":"Matt Turner","body":"Signed-off-by: Matt Turner <mattst88@gentoo.org>","commitid":"0b8b716331049599ea3299981e3a9ea6e258c5e0","committime":"2020-03-30T17:13:23","packageid":43080,"repoid":1,"summary":"*\/*: Drop stable ia64 keywords"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d89aa30d1cb640fac5e410a9c27815617c971a59","committime":"2020-03-23T18:07:36","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Closes: https:\/\/bugs.gentoo.org\/713578\nPackage-Manager: Portage-2.3.89, Repoman-2.3.20\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"2f51c2cc43fedf2fd9062b8abe5100c1d027523d","committime":"2020-03-23T17:41:06","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: require a newerb version of dev-lang\/ocaml"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b956168ab50123d85757881d1bcf9efd16b74886","committime":"2020-03-20T20:37:24","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"* Depends on EOL GtkGLArea\n\nPackage-Manager: Portage-2.3.93, Repoman-2.3.20\nSigned-off-by: David Seifert <soap@gentoo.org>","commitid":"e33c4bb5fc96549fcab05a039a849a5c560a4980","committime":"2020-03-20T20:05:41","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Remove USE=\"opengl\""},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"78382e2e65cf36004525fb8bfcaccf1cc24375b8","committime":"2020-02-22T21:36:22","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Signed-off-by: David Seifert <soap@gentoo.org>","commitid":"3b8cba93fab70dd0fa89cebdd4b37c732580e9ac","committime":"2020-02-22T21:07:26","packageid":43080,"repoid":1,"summary":"*\/*: [QA] Use consistent function definition formatting"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2419067071620d0f2191882c7c8c5de8a72c6c27","committime":"2020-02-17T20:36:43","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.84, Repoman-2.3.20\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"2aee2758ca2584650025456be614295c61cc95c5","committime":"2020-02-17T20:24:21","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: version bump to 2.18.10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a8d907e4b2acb38467b494e36313788750592b3d","committime":"2020-02-11T17:48:59","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Update the copyright notice on all files that were touched since\nJanuary 1st but did not have the notice updated.\n\nSigned-off-by: Michał Górny <mgorny@gentoo.org>","commitid":"6568a730a830fd8a93b28162a01787600d19d307","committime":"2020-02-11T17:05:13","packageid":43080,"repoid":1,"summary":"*\/*: Bump copyright on files touched this year"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5f14c882389e4521b351864af8f1e4e63aa858ee","committime":"2020-01-31T13:27:25","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"juippis@gentoo.org","authorname":"Joonas Niilola","body":"Signed-off-by: Joonas Niilola <juippis@gentoo.org>","commitid":"34e620e374274e28f7f24266f2b91a917c486756","committime":"2020-01-31T13:04:48","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: remove old 2.18.8-r0"},{"authoremail":"juippis@gentoo.org","authorname":"Joonas Niilola","body":"- bump EAPI-7,\n - drop findlib.eclass,\n - drop multilib.eclass,\n - fix DeprecatedInsinto CI issue,\n - restore KEYWORDS from lablgtk-2.18.5.ebuild,\n - rework 'examples' logic to obey small-files QA policy,\n - sort dependencies,\n - sort ebuild global variables to follow default skel,\n - sort IUSE,\n - use BDEPEND,\n - use DOCS array,\n - use econf array.\n\nSigned-off-by: Joonas Niilola <juippis@gentoo.org>","commitid":"2c6987b8674a7b1d3e8e7475a6c9583abdb15eb0","committime":"2020-01-31T13:04:24","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: revbump 2.18.8, EAPI-7, fix CI issue, restore KEYWORDS"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ec1eddd5e7b3f69cadcdbf1547a742a3ce22097d","committime":"2020-01-26T00:28:29","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mattst88@gentoo.org","authorname":"Matt Turner","body":"Signed-off-by: Matt Turner <mattst88@gentoo.org>","commitid":"5671613f07850086a11a1ace34816b498e9b69b7","committime":"2020-01-26T00:18:19","packageid":43080,"repoid":1,"summary":"*\/*: Drop stable alpha keywords"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7b78d7211833e3f591070dfb36c81c11c322761f","committime":"2020-01-07T21:26:45","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zx2c4@gentoo.org","authorname":"Jason A. Donenfeld","body":"Fixes: https:\/\/bugs.gentoo.org\/704148\nPackage-Manager: Portage-2.3.84, Repoman-2.3.20\nSigned-off-by: Jason A. Donenfeld <zx2c4@gentoo.org>","commitid":"7d00cdf9a2022587a1381c0c6c2d87d3b4babf99","committime":"2020-01-07T20:59:56","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: version bump to 2.18.8"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5adfa39130cf2dab0dc2dc44f986018d2b877f52","committime":"2019-10-11T16:17:33","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny <mgorny@gentoo.org>","commitid":"aca26925a67868a6b453460706345175b4395c38","committime":"2019-10-11T15:34:31","packageid":43080,"repoid":1,"summary":"dev-ml: Remove *-fbsd KEYWORDS"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"661f80c45ed5cf1f07bc280718647d663d4ea4fa","committime":"2017-11-15T07:03:37","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.13, Repoman-2.3.4","commitid":"61a77295d15332279b71d697a8d92cd39f89a58e","committime":"2017-11-13T22:13:21","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Remove 2.18.6, moved to overlay"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"05aac61517d27b8621d9dbc853ba6b6e095db0cc","committime":"2017-11-04T10:06:29","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.13, Repoman-2.3.4","commitid":"2b6ee9f51ff453f331330909c3eda859ad4c5220","committime":"2017-10-31T12:58:28","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: allow ocaml 4.06 beta too"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.13, Repoman-2.3.4","commitid":"743e8ea3260770eb8fe351e722fe21b2c17a2e4e","committime":"2017-10-31T12:56:25","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: bump to 2.18.6"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c70ebc87f720a8a42c6c047182b392da50a3ab52","committime":"2017-06-22T12:12:43","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.2","commitid":"fcc1528ac37bb36a97b358a289fbf4b993d5f277","committime":"2017-06-21T18:16:52","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: keyword ~arm64"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d306af8eb3437f21050905ad73fbf5d544f04d6b","committime":"2017-04-05T18:01:57","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"maekke@gentoo.org","authorname":"Markus Meier","body":"Package-Manager: Portage-2.3.5, Repoman-2.3.2\nRepoMan-Options: --include-arches=\"arm\"","commitid":"c778c4fcff06c6732e1a29f9d91231d7a4411d8b","committime":"2017-04-05T17:33:01","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: add ~arm, bug #611014"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>","commitid":"61b861acd7b49083dab687e133f30f3331cb7480","committime":"2017-02-28T19:47:27","packageid":43080,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"malfatti@neuro.ufrn.br","authorname":"T. Malfatti","commitid":"8457ba6f9fd6f0dbafcca1fb375788eeea02aae1","committime":"2017-01-26T18:44:34","packageid":43080,"repoid":1,"summary":"media-libs\/portaudio: Version bump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"459c525fea5863fdcbd30c7b1768c515a45ec06c","committime":"2017-01-22T18:02:07","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.3, Repoman-2.3.1","commitid":"1ed261ac6bfea40e395528d6b1bd42acee3be7a9","committime":"2017-01-22T17:53:16","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c5674a357892846488badba236b23255c32f5d3a","committime":"2017-01-22T16:42:10","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"klausman@gentoo.org","authorname":"Tobias Klausmann","body":"Gentoo-Bug: 604934","commitid":"65a23818013a7ab8759500223c3a738bd8282682","committime":"2017-01-22T16:36:32","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk-2.18.5-r0: stable on alpha"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"sparc\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"6e723ffd3dc10465038292e58faed46044d21b14","committime":"2017-01-22T16:15:29","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: sparc stable wrt bug #586916"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"sparc\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"e53d0b3222d3745abc7bc1d9082ac6e566480e3f","committime":"2017-01-22T16:11:56","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: sparc stable wrt bug #604934"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"f23cbeb3334f05269955af4bc6f1be462b0d9552","committime":"2017-01-20T11:21:58","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"ppc64\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"2c45a67bf7e55bb72aebd277d70af85790a6fc73","committime":"2017-01-20T10:56:51","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: ppc64 stable wrt bug #604934"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"ppc64\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"05f43f2725ecac98d90230cf5029601812a41002","committime":"2017-01-20T10:54:29","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: ppc64 stable wrt bug #586916"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d9e72c4172874d10c33db9ce1c09cbf3695ff857","committime":"2017-01-17T14:42:04","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"ia64\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"1ec9b1b9df1866ab209409c0a5f6b18e483c1a10","committime":"2017-01-17T13:58:55","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: ia64 stable wrt bug #586916"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"ia64\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"b75fc9fc02c60f13e1c13a6abdd524a826c8f27e","committime":"2017-01-17T13:50:43","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: ia64 stable wrt bug #604934"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"53543528406e34c05daa4439018d188be757268f","committime":"2017-01-15T16:02:10","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"2bc1366b10d2353745781cb6eb1940d4039ad5fd","committime":"2017-01-15T15:30:25","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: ppc stable wrt bug #604934"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"e438a9a196da2d0a7e0400e5a362375125de3893","committime":"2017-01-15T15:23:15","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: ppc stable wrt bug #586916"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"0e56b813bbaa49aec1bfe2150baf0bb287282084","committime":"2017-01-14T18:02:24","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zlogene@gentoo.org","authorname":"Mikle Kolyada","body":"Package-Manager: portage-2.3.0","commitid":"c181d7e1d18893b63a3f4c5655b581c2fe5658bb","committime":"2017-01-14T17:55:23","packageid":43080,"repoid":1,"summary":" dev-ml\/lablgtk: ia64\/sparc stable"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d0120c1d35e49dcfa07e1fc34ff81d5b220da452","committime":"2017-01-13T19:03:10","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"d257e669c24dd1bf06a203d011b0ed1213b44511","committime":"2017-01-13T15:35:11","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: x86 stable wrt bug #604934"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"860b9584f679a3b733a7df24019d60e96a0f00fd","committime":"2017-01-13T15:35:05","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: x86 stable wrt bug #586916"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"b5fc407aca6813be0e0e51cba6839fc926a4a92b","committime":"2017-01-08T11:02:02","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"bman@gentoo.org","authorname":"Aaron Bauman","commitid":"e52195bf2188cc156ef677fb8123addadbca53e9","committime":"2017-01-08T10:44:22","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: amd64 stable"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"0b3ebd675bff08d08251d0b59aeb756e8052969b","committime":"2016-12-27T01:21:55","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"bman@gentoo.org","authorname":"Aaron Bauman","commitid":"6f9dac9f8c752eb06664de43211cadd598d1fd21","committime":"2016-12-27T01:15:41","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: amd64 stable wrt bug #586916"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d1cc5dd36f43f9d2184be87b3a35e5dcde637ea1","committime":"2016-08-12T13:02:26","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"d01441512454fc516a18d2e19c6fb7b52d41d90a","committime":"2016-08-12T12:52:43","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: bump to 2.18.5"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d4271ebbf6ecf58589df4aae9a4ae1431eb2e45c","committime":"2016-07-05T10:01:59","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"klausman@gentoo.org","authorname":"Tobias Klausmann","body":"Gentoo-Bug: 586916","commitid":"0301a1b5e2107f894be457666149b6c14eb5c92f","committime":"2016-07-05T09:43:13","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk-2.18.4-r1: add alpha keyword"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"20a214c85ea60fce1e0f0c9a2ab111bbbc070db3","committime":"2016-06-29T21:24:04","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Split the stable version into a variant supporting old OCaml and one\nsupporting camlp4, in order to solve :=-in-|| problem. The old ebuild\nis only targeted at stable ia64 & sparc users that do not have camlp4\nstable.","commitid":"52ce482c08e38e356d0706d54bbcfa6cac8123d4","committime":"2016-06-29T20:32:58","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: Split stable into old OCaml & camlp4 variants, #586916"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"3b67266fafda76e884a47196e40e50bdd915a3a7","committime":"2016-06-24T10:01:53","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --force","commitid":"b22fbdb0ab5114a29d06ea46eec9084346f3f152","committime":"2016-06-24T09:51:24","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: drop backward compat dep on camlp4"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"21e13d311cb043302f4a9f0a69c56f1bcf26e2ce","committime":"2016-06-23T11:41:49","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"This reverts commit 2d4ac687fbf44588f764697c9dcb2b960a18d51b.\n\nThis commit is wrong in several aspects:\n- Such changes should come with a revbump\n- Removing := deps causes packages not to be rebuilt on upgrades, causing\n  barely understandable build failures when upgrading, later on.\n  Thanks to this commit, people that have installed those packages\n  will likely experience those failures with the upcoming ocaml 4.03 unmask.\n- This is a non maintainer commit where no discussion at all happened with the\n  maintainers during the 3 days between bug report and mass commit.\n  Such discussion could have prevented the above mentioned breakage.\n\nProper fix is to drop the backward compatibility part of the || () dep. This fix\nwas slowly moving forward whenever possible and noticed. Main blocker for this is\nbug #463018 which requires taking extra care for not breaking the stable tree\nnor needlessly preventing future stabilization of packages.","commitid":"a254987a6030b4fefdc5989c960772dddd866faf","committime":"2016-06-23T08:38:42","packageid":43080,"repoid":1,"summary":"Revert \"dev-ml\/*: Remove := slot ops from || deps, #586304\""},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"2118273a869695a83ca3e78e8cfafd6129691131","committime":"2016-06-21T20:41:43","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","commitid":"2d4ac687fbf44588f764697c9dcb2b960a18d51b","committime":"2016-06-21T20:32:35","packageid":43080,"repoid":1,"summary":"dev-ml\/*: Remove := slot ops from || deps, #586304"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c1c33d82b30b679b6bac172e665edb61787c2029","committime":"2016-04-30T14:22:40","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.28\nSigned-off-by: Alexis Ballier <aballier@gentoo.org>","commitid":"5db87542cc41cb498dd0ddc28767f28930a56153","committime":"2016-04-30T13:35:42","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: remove old"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.28\nSigned-off-by: Alexis Ballier <aballier@gentoo.org>","commitid":"bfb6a1a824cef6e72ab9ccfff5f6fcc5d6b0625c","committime":"2016-04-30T13:34:48","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: bump to 2.18.4"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"15250c45ce4f6f496b4fcae1e3b64b876a3aa49f","committime":"2016-03-17T11:06:16","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.2.26\nRepoMan-Options: --include-arches=\"ppc64\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"65f6126e8a29a77b64a7135d053d4210fc214c3f","committime":"2016-03-17T10:48:03","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: ppc64 stable wrt bug #566610"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"0152bba8627e125f9305452ad67b018fc3a1eae3","committime":"2016-01-11T09:21:54","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.2.26\nRepoMan-Options: --include-arches=\"ia64\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"8d387f54d96cbba9239f41935e4425839daa17d6","committime":"2016-01-11T09:05:00","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: ia64 stable wrt bug #566610"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"14990d778f50c00a774116cef84b544968353096","committime":"2016-01-10T10:42:40","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.2.26\nRepoMan-Options: --include-arches=\"alpha\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"54c4c025b84cd830e705d9e94788c5f429a77fb5","committime":"2016-01-10T10:32:18","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: alpha stable wrt bug #566610"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d85af0ed2d70d0b7bc8b69e4b536154f8f8f8112","committime":"2016-01-09T07:02:05","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.2.26\nRepoMan-Options: --include-arches=\"sparc\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"077573ca2cbe24b00bb8d53241e2256be5235680","committime":"2016-01-09T06:41:48","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: sparc stable wrt bug #566610"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"1120a5d6ec656f88dc6ab1a728807a278419f1ec","committime":"2015-12-07T12:01:53","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.2.20.1\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"a750ba5dfbaa0f0e0ddf80c26bf99d6b02ea5240","committime":"2015-12-07T11:39:12","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: ppc stable wrt bug #566610"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"b7d72122fe5b62c93bc8ca35098986fae74e416a","committime":"2015-12-03T13:41:44","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.2.20.1\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo <ago@gentoo.org>","commitid":"9296e64815ef7a3915b1f0c4b25bf9a765e2b676","committime":"2015-12-03T13:27:15","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: x86 stable wrt bug #566610"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"482138b2d4323f88fceac020c63bf7ded9957cc5","committime":"2015-11-25T09:01:48","packageid":43080,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.2.20.1\nRepoMan-Options: --include-arches=\"amd64\"","commitid":"fe32b3ee651ee1b56d42083c006f8fa5c4b290c8","committime":"2015-11-25T08:54:07","packageid":43080,"repoid":1,"summary":"dev-ml\/lablgtk: amd64 stable wrt bug #566610"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":43080,"repoid":1,"summary":"2015-08-09 09:26:21 UTC"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"This commit represents a new era for Gentoo:\nStoring the gentoo-x86 tree in Git, as converted from CVS.\n\nThis commit is the start of the NEW history.\nAny historical data is intended to be grafted onto this point.\n\nCreation process:\n1. Take final CVS checkout snapshot\n2. Remove ALL ChangeLog* files\n3. Transform all Manifests to thin\n4. Remove empty Manifests\n5. Convert all stale $Header$\/$Id$ CVS keywords to non-expanded Git $Id$\n5.1. Do not touch files with -kb\/-ko keyword flags.\n\nSigned-off-by: Robin H. Johnson <robbat2@gentoo.org>\nX-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests\nX-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project\nX-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration\nX-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn\nX-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts\nX-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration\nX-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging\nX-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed","commitid":"56bd759df1d0c750a065b8c845e93d5dfa6b549d","committime":"2015-08-08T20:49:04","packageid":43080,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":43080,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[{"block":false,"categoryid":330,"description":"A text widget implementing syntax highlighting and other features","ebuildids":[870867],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnome@gentoo.org","maintainername":"Gentoo GNOME Desktop","name":"gtksourceview","packageid":44891},{"block":false,"categoryid":330,"description":"Gimp ToolKit +","ebuildids":[870867],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnome@gentoo.org","maintainername":"Gentoo GNOME Desktop","name":"gtk+","packageid":45804,"summary":"GTK+ is a multi-platform toolkit for creating graphical user interfaces. Offering a complete set of widgets, GTK+ is suitable for projects ranging from small one-off projects to complete application suites."},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[870867],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":391,"description":"Spell checking widget for GTK","ebuildids":[870867],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnome@gentoo.org","maintainername":"Gentoo GNOME Desktop","name":"gtkspell","packageid":50421},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[870867],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Binding to Cairo, a 2D Vector Graphics Library","ebuildids":[870867],"firstseen":"2020-10-13T14:25:05.132759","name":"cairo2","packageid":72093},{"block":false,"categoryid":314,"description":"Stream and Genlex libraries for use with Camlp4 and Camlp5","ebuildids":[870867],"firstseen":"2022-04-04T17:52:23.540825","name":"camlp-streams","packageid":74733}],"depending":[{"block":false,"categoryid":317,"description":"Coq\/Rocq is a proof assistant written in O'Caml","ebuildids":[857163,857163,857164,857164,857165,857165,877197,877197,890315,890315,894029,894029],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"coq","packageid":42174,"summary":"Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification \"kernel\". Coq is based on a logical framework called \"Calculus of Inductive Constructions\" extended by a modular development system for theories."},{"block":false,"categoryid":451,"description":"Two-way cross-platform file synchronizer","ebuildids":[848752,848752,883279,883279],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"unison","packageid":45503},{"block":false,"categoryid":317,"description":"Automatic theorem prover","ebuildids":[876928,876928],"firstseen":"2017-10-14T07:25:18.254331","name":"alt-ergo","packageid":68081,"summary":"Alt-Ergo is an open-source automatic solver of mathematical formulas designed for program verification. It is based on Satisfiability Modulo Theories (SMT). Solvers of this family have made impressive advances and became very popular during the last decade. They are now used is various domains such as hardware design, software verification and formal testing."},{"block":false,"categoryid":317,"description":"SPARK 2014 repository for the Why3 verification platform","ebuildids":[853673,853673],"firstseen":"2017-10-19T20:17:41.724443","name":"why3-for-spark","packageid":68094,"summary":"Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs."},{"block":false,"categoryid":314,"description":"OCaml bindings to GTK-3","ebuildids":[831111,831111],"firstseen":"2020-10-13T14:25:05.132759","name":"lablgtk-sourceview","packageid":72099},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[782878,782878,845202,845202,854230,854230,869907,869907,877153,877153],"firstseen":"2021-12-12T02:08:52.137547","name":"why3","packageid":73747,"summary":"Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs."}],"ebuilds":[{"archs":["amd64","arm","arm64","ppc64","x86","~ppc"],"ebuildid":870867,"firstseen":"2025-07-19T17:55:46.188868","license":"LGPL-2.1-with-linking-exception","moddate":"2026-03-29T19:42:47","packageid":43080,"repoid":1,"slot":"3\/3.1.5","uses":["ocamlopt","sourceview"],"version":"3.1.5-r2"}],"masks":[],"package":{"categoryid":314,"description":"OCaml bindings to GTK-3","firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"lablgtk","packageid":43080},"rdependencies":[{"block":false,"categoryid":330,"description":"A text widget implementing syntax highlighting and other features","ebuildids":[870867],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnome@gentoo.org","maintainername":"Gentoo GNOME Desktop","name":"gtksourceview","packageid":44891},{"block":false,"categoryid":330,"description":"Gimp ToolKit +","ebuildids":[870867],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnome@gentoo.org","maintainername":"Gentoo GNOME Desktop","name":"gtk+","packageid":45804,"summary":"GTK+ is a multi-platform toolkit for creating graphical user interfaces. Offering a complete set of widgets, GTK+ is suitable for projects ranging from small one-off projects to complete application suites."},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[870867],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":391,"description":"Spell checking widget for GTK","ebuildids":[870867],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnome@gentoo.org","maintainername":"Gentoo GNOME Desktop","name":"gtkspell","packageid":50421},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[870867],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Binding to Cairo, a 2D Vector Graphics Library","ebuildids":[870867],"firstseen":"2020-10-13T14:25:05.132759","name":"cairo2","packageid":72093},{"block":false,"categoryid":314,"description":"Stream and Genlex libraries for use with Camlp4 and Camlp5","ebuildids":[870867],"firstseen":"2022-04-04T17:52:23.540825","name":"camlp-streams","packageid":74733}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/garrigue\/lablgtk"],"uses":[{"defaultflag":true,"description":"Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable\/enable it at a global scale)","isdefault":true,"use":"ocamlopt"},{"description":"Enable GtkSourceView (x11-libs\/gtksourceview) support","isdefault":false,"packageid":43080,"use":"sourceview"}]}