{"bugs":[],"categories":[{"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":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":"f86350a2f53b3d270433478ceaa92d3a2c499958","committime":"2024-11-12T11:33:25","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"368d6e1673485d3942705488472251a5bb5c3c94","committime":"2024-11-12T11:20:29","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: drop 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":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"b88e920e287bf501c671eecd7f44a2aef3910eef","committime":"2024-10-18T15:40:13","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.5 arm64, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"ab608d9b319576dcce3500001eb471287683bcd5","committime":"2024-10-18T15:40:04","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.5 arm, #941576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"577f4ed2a7f05e027634e2b45b4e3b07b2b74185","committime":"2024-10-15T15:33:17","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"47444ac7a637beef4e487cc2ed897a904c96eb2a","committime":"2024-10-15T15:24:41","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.5 x86, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"4196416b2001070e47b2e94d1c1f38c93f6d676c","committime":"2024-10-15T15:24:26","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.5 ppc64, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"eadfc3b5446f84b5c391c158a44c01033f83d47f","committime":"2024-10-15T15:24:11","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.5 amd64, #941576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2137a2c5292f68b3f626b77370704ee001f88a6f","committime":"2024-06-26T19:34:04","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"1fecfbe62fd9f0a1ad2fe02ae5b1b2b69b791698","committime":"2024-06-26T19:16:06","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: add 3.1.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"285c23f521dc22a1814e951536143f6995628e33","committime":"2023-04-09T13:16:50","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"c5da73b3e193d565b879a4f7486a306c1f4414e9","committime":"2023-04-09T13:08:09","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.3 x86, #901643"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5c814613ff62b65f632cae022f370705b0c5a3b2","committime":"2023-04-09T13:01:52","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"e9140044df22d5138105310ada79dfb76b8c4dfa","committime":"2023-04-09T12:47:47","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.3 arm, #901643"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e67345cb386b0b5ab2752ec1ffa8fbb32b047d6d","committime":"2023-04-09T12:46:47","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"609fee6113bdfb1ef19bfebb4a18f1e4874fbea0","committime":"2023-04-09T12:40:53","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.3 amd64, #901643"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d07ea6e5b4f0f86f9df6dfd1ef59cbd14e64f407","committime":"2023-04-01T20:01:54","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"3c4c9e4e062dbd9e4df74f19f4cf60fd4d0969fc","committime":"2023-04-01T19:51:56","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.3 arm64, #901643"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f62df3238b3c57ca77ac36976ad1b19b98f68629","committime":"2023-03-17T17:01:58","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"75021f87e471c8df43f4d09e625ccdb7a492b7bf","committime":"2023-03-17T16:51:49","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.3 ppc64, #901643"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d1cae186554ad58f50ee672c64e36034c6ed7161","committime":"2023-01-27T22:23:33","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"8dfed4053e7e218687b11f5c712541beaf19b530","committime":"2023-01-27T21:58:11","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: add 3.1.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"523e0db8a02c14731da45153f505198270ab21ba","committime":"2022-09-05T22:16:51","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"00c7206cfb26e99903f26afe16850936ac95a1fe","committime":"2022-09-05T15:42:46","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: bump to 3.1.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f39b36bda30e9a806f6c990ca3621fd693f54c28","committime":"2022-03-03T21:36:55","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James \nSigned-off-by: David Seifert ","commitid":"76372fc21f988af3611a909164f85edcb34ca0f6","committime":"2022-03-03T21:17:56","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: destabilise for ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7ebe772e3d6e718c7a3daa31aab9aa86f1d48cc8","committime":"2021-02-11T06:52:40","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7d9c5f7ea05df6e9467a40fbb9917307af836ed3","committime":"2021-02-11T06:37:36","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"1cca28c684332b4e3c50150d9e2d0500b51b91b8","committime":"2021-02-11T06:30:57","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.1 ppc, #769317"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"7012bd181ed094e93a8139057d75393e9b423cd9","committime":"2021-02-11T06:25:11","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.1 x86, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b45b79ab2dc8417903ad6be83bb57ade817739f6","committime":"2021-02-10T19:07:47","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b5417fb96eacbae6a761a76c1d0834b8eb6daf00","committime":"2021-02-10T18:51:45","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.1 amd64, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d8fef62db851a87ecbe505be32c86e962ca72ec4","committime":"2021-02-10T16:52:38","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b650a062b162eebd4b1298b144ea4504ad97e178","committime":"2021-02-10T16:32:09","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Stabilize 3.1.1 ppc64, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"18b641e272f902f0c84870659062cc94139101aa","committime":"2020-10-28T04:05:16","packageid":72099,"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 ","commitid":"8f8245cc66ffd29baa8f486ad0b202ef05ca316e","committime":"2020-10-28T03:09:14","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: ppc64 keyworded (bug #748576)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e4f91163ee007b0193ba6f49c515fc79a344f1fe","committime":"2020-10-24T01:05:15","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"6186b9e44c94ac9d3b93cf8096baf949c3b088a5","committime":"2020-10-24T00:15:44","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Keyword 3.1.1 ppc, #748576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ffd73f96f27d530cb7da0661a24a1abfa5d85a83","committime":"2020-10-22T14:05:17","packageid":72099,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"46cc2e7ff59cc891fb978525e93bb87a261b440c","committime":"2020-10-22T13:57:26","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Keyword 3.1.1 arm, #748576"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"1309ede988b87f3058e2b2d1e9807c894798fac6","committime":"2020-10-22T13:54:59","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Keyword 3.1.1 arm64, #748576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c","committime":"2020-10-13T13:23:50","packageid":72099,"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 ","commitid":"d17c3fb074b96319283882994fd359ee5a65d19d","committime":"2020-10-13T05:32:19","packageid":72099,"repoid":1,"summary":"dev-ml\/lablgtk-sourceview: Dependency of sci-mathematics\/coq"}],"dependencies":[{"block":false,"categoryid":314,"description":"OCaml bindings to GTK-3","ebuildids":[831111],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"lablgtk","packageid":43080},{"block":false,"categoryid":330,"description":"A text widget implementing syntax highlighting and other features","ebuildids":[831111],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnome@gentoo.org","maintainername":"Gentoo GNOME Desktop","name":"gtksourceview","packageid":44891},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[831111],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[831111],"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":[831111],"firstseen":"2020-10-13T14:25:05.132759","name":"cairo2","packageid":72093}],"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":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."}],"ebuilds":[{"archs":["amd64","arm","arm64","ppc64","x86","~ppc"],"ebuildid":831111,"firstseen":"2024-06-26T20:52:29.176720","license":"LGPL-2.1-with-linking-exception","moddate":"2026-03-29T19:42:47","packageid":72099,"repoid":1,"slot":"3\/3.1.5","uses":["ocamlopt"],"version":"3.1.5"}],"masks":[],"package":{"categoryid":314,"description":"OCaml bindings to GTK-3","firstseen":"2020-10-13T14:25:05.132759","name":"lablgtk-sourceview","packageid":72099},"rdependencies":[{"block":false,"categoryid":314,"description":"OCaml bindings to GTK-3","ebuildids":[831111],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"lablgtk","packageid":43080},{"block":false,"categoryid":330,"description":"A text widget implementing syntax highlighting and other features","ebuildids":[831111],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnome@gentoo.org","maintainername":"Gentoo GNOME Desktop","name":"gtksourceview","packageid":44891},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[831111],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[831111],"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":[831111],"firstseen":"2020-10-13T14:25:05.132759","name":"cairo2","packageid":72093}],"repos":[{"branch":"master","lastcommit":"09daf722ab2fdfcd52776c73efabc1635c80eaa1","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"}]}