{"bugs":[{"bugid":559564,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"UNCONFIRMED","summary":"sys-apps\/portage-2.2.20.1: a slot conflict between dev-lang\/ocaml and sci-mathematics\/coq cannot be auto resolved"},{"bugid":882361,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/ocaml-4.11.2-r2 - interp.c: error: passing arguments to a function without a prototype is"},{"bugid":910080,"firstseen":"2025-07-11T02:48:40.189262","severity":"enhancement","status":"CONFIRMED","summary":"dev-lang\/ocaml does not work on macOS"},{"bugid":926191,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/ocaml-4.09.0-r3 fails to compile: amd64.S:748:9: error: changed section flags for .rodata.cst8, expected: 0x12"},{"bugid":936947,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"UNCONFIRMED","summary":"dev-ml\/ocaml-ctypes-0.21.1-r2 will fail to build if dev-lang\/ocaml is built with -flto under clang-18"},{"bugid":942867,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/ocaml-4.14.2 installs files that contain a TEXTREL"},{"bugid":944989,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/ocaml-4.12.1 fails to compile: prims.h:33:23: error: too many arguments to function (value ()(void))(caml_prim_table.contents + (sizetype)((long unsigned int)pc 8))"}],"categories":[{"categoryid":387,"name":"app-accessibility","summary":"The app-accessibility category contains packages which help with accessibility (for example, screen readers)."},{"categoryid":321,"name":"app-emulation","summary":"The app-emulation category contains emulation software."},{"categoryid":422,"name":"app-misc","summary":"The app-misc category contains various miscellaneous application packages which don't belong anywhere else."},{"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":377,"name":"dev-tex","summary":"The dev-tex category contains libraries and tools useful when working with TeX and TeX-based environments such as LaTeX."},{"categoryid":428,"name":"dev-util","summary":"The dev-util category contains various miscellaneous development utilities."},{"categoryid":451,"name":"net-misc","summary":"The net-misc category contains various miscellaneous networking tools and utilities."},{"categoryid":459,"name":"net-p2p","summary":"The net-p2p category contains peer-to-peer networking applications."},{"categoryid":427,"name":"sci-calculators","summary":"The sci-calculators category contains scientific calculator packages."},{"categoryid":318,"name":"sci-libs","summary":"The sci-libs category contains various science-related libraries."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."},{"categoryid":394,"name":"sys-fs","summary":"The sys-fs category contains filesystem tools and utilities."},{"categoryid":381,"name":"sys-libs","summary":"The sys-libs category contains various system-level libraries."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"709162749a79c779072ab4ce16f6e1ebfec99709","committime":"2025-04-21T19:50:13","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"8c9baefb23d1bfc5202057a0d4b5e214d7199066","committime":"2025-04-21T19:31:12","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: drop 5.2.0-r1, 5.2.1-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f9f8d712f9c1b5799838745f3c3f1a87a8d012a4","committime":"2025-04-10T21:20:12","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/951544\nSigned-off-by: Alfredo Tupone ","commitid":"64c771af7d5e95d265db718d25fc7a620901a7ef","committime":"2025-04-10T20:25:02","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: drop a test"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"60df7e3c091114ac2b65d570b0db1ca9ab1e5bdd","committime":"2025-03-12T20:18:11","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/951185\nSigned-off-by: Alfredo Tupone ","commitid":"ea21b351645ce875693e0bec52535321b467c86d","committime":"2025-03-12T20:04:13","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: require findlib with purged META"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"108aded18733337a7edaa2eb89c610162f375a0d","committime":"2025-03-10T21:48:12","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"79eb5bde9bcac097b5d0d0a4c68a80cb027e64a6","committime":"2025-03-10T21:36:10","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add 5.3.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d5037c8620b4e59acf2197bc7bfa0a837b644ef5","committime":"2024-12-30T09:48:34","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"1c9122a77ac10eb648635f33601ee7b24cf8b47b","committime":"2024-12-30T09:42:06","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add 5.2.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a25d9514278f7b7f6ce3151bd0adfe848fb8f5ca","committime":"2024-10-18T15:48:33","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"5f3d6f228a361ee14a74e1e33516d47284836adc","committime":"2024-10-18T15:40:09","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.2 arm64, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"254cd2f63df50286b3f5b0a01bf5428ee2e7902a","committime":"2024-10-18T15:40:00","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.2 arm, #941576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"577f4ed2a7f05e027634e2b45b4e3b07b2b74185","committime":"2024-10-15T15:33:17","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"e4a99cab49fbbf892c4f71ef2c4fac8aceca0e56","committime":"2024-10-15T15:24:32","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.2 x86, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"17f736f4d283639650c5978d75f43b91f8da3bed","committime":"2024-10-15T15:24:19","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.2 ppc64, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"ab1da0a59cb01824830d0a1dee5112e6460c337d","committime":"2024-10-15T15:24:03","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.2 amd64, #941576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dc4b7e0cbfb21bb7bbcc6fc5bb5b7aa32ec8de5d","committime":"2024-10-11T20:48:19","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/939733\nSigned-off-by: Alfredo Tupone ","commitid":"6ef4c5b1ca42a9d9cc1a51de1656005d2aaf3f8d","committime":"2024-10-11T20:38:36","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ignoring TEXREL on x86"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"562fad09561684954963d0a91b23e0a61f2c7932","committime":"2024-09-12T18:49:01","packageid":49590,"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 ","commitid":"0e727a3a16bc2abfd39386f10821d3e5ce89c45a","committime":"2024-09-07T15:44:22","packageid":49590,"repoid":1,"summary":"*\/*: unkeyword ~ia64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"77ccf0284ad898e24b2c74b9da3975a6214ed331","committime":"2024-06-09T15:33:53","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"3f8e6b6c84731d3f44e41a3ff616e205c28ed673","committime":"2024-06-09T15:19:59","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add 5.2.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1e14121d930aa1a0513dcd23ee440634133a138d","committime":"2024-06-09T11:05:17","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"378736d2cc6816cb6cbe3ae265966a6a75abced9","committime":"2024-06-09T10:45:06","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: VariableOrderWrong"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"df402731722626ce346cdeb529b0c37b7a457306","committime":"2024-06-09T10:42:47","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: drop 4.14.0-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6ba0bdf79d880e2b3a1e7a1b2f960957d5eaa49e","committime":"2024-06-02T08:33:59","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/924364\nSigned-off-by: Alfredo Tupone ","commitid":"b8016276f63ee653979d59a46a1405977ea0fc17","committime":"2024-06-02T08:17:57","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ignore TEXTRELS"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"595f360820bd58d21d19582c98625691e61e0007","committime":"2024-04-29T20:49:32","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"0219ee48e71304b5679694259da5f4c1d6d31836","committime":"2024-04-29T20:30:02","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add 4.14.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cb25eceb116d4755bb08eb81cede3a9ec5434b20","committime":"2023-10-28T00:31:52","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ajak@gentoo.org","authorname":"John Helmert III","body":"Bug: https:\/\/bugs.gentoo.org\/719134\nSigned-off-by: John Helmert III \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/28090\nSigned-off-by: Sam James ","commitid":"da16ce0bc073186b149ff9cd6c6e8b724c88fd59","committime":"2023-10-22T23:00:32","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: drop 4.05.0-r9"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c0b32e412c609ee932b8a41f0bfcc2f845f6cd30","committime":"2023-06-24T03:01:55","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"leohdz172@proton.me","authorname":"Leonardo Hernández Hernández","body":"Signed-off-by: Leonardo Hernández Hernández \nSigned-off-by: Sam James ","commitid":"93ded4dce728e2aab3f58209fd4f0dcb1dfd34ab","committime":"2023-06-24T02:47:02","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: replace `filter-flags -flto*` with `filter-lto`"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d51c9d5c19ebb657362f470b725a146d71c2d18f","committime":"2023-05-25T20:02:08","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"grobian@gentoo.org","authorname":"Fabian Groffen","body":"Signed-off-by: Fabian Groffen ","commitid":"4aebe55f8c434205f2ea3d28ffacb834a401bc1f","committime":"2023-05-25T19:49:16","packageid":49590,"repoid":1,"summary":"*\/*: remove sparc-solaris keyword"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1e74ac9788964fd86f18d370c5401a8cec873119","committime":"2023-05-24T19:47:02","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"grobian@gentoo.org","authorname":"Fabian Groffen","body":"Signed-off-by: Fabian Groffen ","commitid":"82e9ddde6f17e843beed29bc1446c635f71efc50","committime":"2023-05-24T19:41:33","packageid":49590,"repoid":1,"summary":"*\/*: remove x86-solaris keyword"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9b4cc7b2382f8f09b4de756a7694056ec9b45232","committime":"2023-04-03T19:16:52","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"c0b9f984c27b26bdfe719ae1158ae944d0c8807d","committime":"2023-04-03T19:09:29","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.05.0-r9 arm64, #901711"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"d0f5af7afc8c6d2bd8f11877754a4b8eeb190caf","committime":"2023-04-03T19:09:26","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.05.0-r9 arm, #901711"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c73992cd5e73f815a785e0a007b39d990b1039a5","committime":"2023-03-17T11:46:49","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"7dbaaa269143ca5d1a4fee505d2f9c704830e26e","committime":"2023-03-17T11:41:24","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.1 ppc64, #901615"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1357a2df8b3347dbd1391a3afddfe05c4b2b7c8a","committime":"2023-03-17T11:31:49","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"45ec1f3f32771ee3cee86dc0ca107faae8d89b41","committime":"2023-03-17T11:26:48","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.05.0-r9 ppc64, #901711"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a8131899f5e7b4e051105660d3c21ce5cef142b5","committime":"2023-03-17T09:02:02","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"2466cf9a30c79f5d70e0f7375bc7cdc709669c0c","committime":"2023-03-17T08:52:06","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.0-r1 ppc64, #901673"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"23d80a0456ffa6e9e01c89cc12a8713ec66fc12e","committime":"2023-03-17T03:31:46","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"fd8d0cbf01ebbf727d69a6cf6094ed94055c2b62","committime":"2023-03-17T03:21:28","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.05.0-r9 x86, #901711"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0e287b2ce7f2abff274dbadfcd34b65fd990024d","committime":"2023-03-17T02:31:56","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"61c4cb92838ba6d649e953bcaf7230cf31aeaed5","committime":"2023-03-17T02:28:11","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.05.0-r9 amd64, #901711"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"2cc541391a518d8f1bee121c3b66b469797fa484","committime":"2023-03-17T02:27:36","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.0-r1 x86, #901673"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"f484cf766707501eb706dc617d32414ddd00c2b8","committime":"2023-03-17T02:27:34","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.0-r1 amd64, #901673"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"22c436a09b0379c1b712a6a587728e201e4c837e","committime":"2023-03-17T02:27:04","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.1 x86, #901615"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"44023f945703a8772cbd9b897c0f6d288338caab","committime":"2023-03-17T02:27:02","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.1 amd64, #901615"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c0e914f05b83a0eeff5151522aae58551d2b1ab2","committime":"2023-03-16T23:32:21","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"dc6ac9d6df1d3f7e49988c867fbb5131330e24ba","committime":"2023-03-16T23:20:36","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.1 arm, #901615"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"9d020b77f0c3664c6dc862619e49fa082df27b3a","committime":"2023-03-16T23:15:10","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.0-r1 arm64, #901673"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"551a821221fec4be09f32e0518bbca7571c75544","committime":"2023-03-16T23:15:08","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.0-r1 arm, #901673"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"f0cc14d4df3a9a44f4b0e48ca046aa6462759784","committime":"2023-03-16T23:14:28","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.14.1 arm64, #901615"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"82cc5bdb5bf8917077df886ccb1b3a1244ffcd5c","committime":"2023-02-15T18:46:46","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mattst88@gentoo.org","authorname":"Matt Turner","body":"Signed-off-by: Matt Turner ","commitid":"46bc3d9513f79458df0669e871106436fee43806","committime":"2023-02-15T18:27:50","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Drop alpha keywords"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e02fb0b3d1cfbdc81c80afd50d72e9374f170fbc","committime":"2023-02-10T19:16:53","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"4c5ad634e096030701e68b385425b67982a679ca","committime":"2023-02-10T19:10:42","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add 4.14.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e6f066a5ee97b44941dab5077fb95b2194efb204","committime":"2022-11-30T10:31:50","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xen0n@gentoo.org","authorname":"WANG Xuerui","body":"Signed-off-by: WANG Xuerui ","commitid":"9e0908c3bb07616c5e67441692bb1e301f31517c","committime":"2022-11-30T04:55:28","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: keyword 4.14.0-r1 for ~loong"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5906df70008888cb4a6cb0da606a894d3cf0b49b","committime":"2022-09-29T07:16:42","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/872995\nCloses: https:\/\/bugs.gentoo.org\/870349\nCloses: https:\/\/bugs.gentoo.org\/835157\nCloses: https:\/\/bugs.gentoo.org\/858446\n\nSigned-off-by: Alfredo Tupone ","commitid":"f4c0389745bf470502ddefc8065d50e6a9033260","committime":"2022-09-29T07:00:02","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: filtering lto"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b10639331f673d13e152b121eac38da1d326e0a0","committime":"2022-04-18T21:23:50","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tanekliang@gmail.com","authorname":"Yongxiang Liang","body":"Signed-off-by: Yongxiang Liang \nSigned-off-by: Jakov Smolić ","commitid":"9ecd980db5d74b2ba8ebcb2b0a3de9baf57558e1","committime":"2022-04-17T15:39:39","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Keyword 4.14.0 riscv, #835392"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e57c71434296f5cfe8b260b741dc4a8179a4fab3","committime":"2022-03-29T12:19:42","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"See: https:\/\/github.com\/ocaml\/ocaml\/pull\/10774\nCloses: https:\/\/bugs.gentoo.org\/729566\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Mark Wright ","commitid":"06b36e0f648bef1acf5ad451d9eebe3e04df2120","committime":"2022-03-29T12:08:33","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Bump to 4.14.0, fix clang build."},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f3875f5a8282cfbc8165dc71474837ef5cca3fc2","committime":"2022-03-04T01:06:53","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Bug: https:\/\/bugs.gentoo.org\/804498\nSigned-off-by: Sam James ","commitid":"1eabb8b88db7647b7a04300ead166f4e4e852951","committime":"2022-03-04T00:55:27","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: drop 4.09.0-r2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f39b36bda30e9a806f6c990ca3621fd693f54c28","committime":"2022-03-03T21:36:55","packageid":49590,"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":"ebef095d3c46a26d64a802ada47a652a9ddfeeb5","committime":"2022-03-03T21:19:28","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: destabilise for ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"25f085c82e95b1bf7c98c9ae15e0e8dfe14ed1ce","committime":"2022-02-28T19:51:41","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"b80cad3833f175c1d9dd411a0789cd202bb622cf","committime":"2022-02-28T19:31:14","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add riscv patch to 4.13.1 too"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"73baa3b0c70a2199c24ad798deb6d230a6c07587","committime":"2022-02-27T09:06:45","packageid":49590,"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=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"ce977bc4017bca5ff74a122fd4555e03a6703354","committime":"2022-02-27T08:57:33","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: x86 stable wrt bug #804498"},{"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":"52cbaf4c145b1bf7a9a317f78c56c7ccd710ffa6","committime":"2022-02-27T08:56:04","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: amd64 stable wrt bug #804498"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"09e12089488dd194f8419054a393ad4228afee71","committime":"2022-02-27T06:36:43","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Accidentally cleaned up in 9e8369277b272b15f3dd1159fa18b71ec4431a77 (got\nconfused by what I had\/hadn't moved into patch tarballs, renamed accordingly\nnow to avoid that in future).\n\nOnce OCaml 4.09.0-r3 stabilisation is complete, we can cleanup all\nthe obsolete patches from files\/ and then everything is a bit clearer.\n\nBug: https:\/\/bugs.gentoo.org\/804498\nFixes: 9e8369277b272b15f3dd1159fa18b71ec4431a77\nSee: https:\/\/forums.gentoo.org\/viewtopic-t-1147490.html\nSigned-off-by: Sam James ","commitid":"687393e4bd5f9a0f9bf4a2f766ea1246f7b324f7","committime":"2022-02-27T06:25:12","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: fix 4.11.2 src_prepare (missing patch)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"881b386d2b09ba266746aa6c811d18d471ffb688","committime":"2022-02-26T12:51:47","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"ef079a3f3fc3713d117c799de7068415f500e562","committime":"2022-02-26T12:33:34","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.09.0-r3 ppc64, #804498"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4afbb771249dee2ac7c28bad129c0952290d50e4","committime":"2022-02-26T12:21:53","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"a2f5876317f424bcc87baa66b8e689dcb6583c26","committime":"2022-02-26T12:08:07","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.09.0-r3 arm, #804498"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"17888b24f0fa640ebcc40eeba68a0f9b3d1b511a","committime":"2022-02-26T12:06:53","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"125576b15128276382cccf29341b18f3ffc91ee3","committime":"2022-02-26T11:53:21","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.09.0-r3 arm64, #804498"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"10ec12680b7c14152768815dd9a571da3fb75363","committime":"2022-02-25T20:06:56","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/825282\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"85fb0c39c57aae6d7795b6ee1259d53ecfebd882","committime":"2022-02-25T19:58:12","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: fix TEXTREL on 4.12.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"25520b6fce2f8cf9c51c356856277e5546e1b5a9","committime":"2022-02-22T01:06:47","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"9e8369277b272b15f3dd1159fa18b71ec4431a77","committime":"2022-02-22T00:58:44","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: drop 4.05.0-r7, 4.05.0-r8, 4.10.2-r2"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"bbbbbaf24b7ec12927d0ac7e2b853cccec4e28fe","committime":"2022-02-22T00:55:02","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: use tarball for 4.05\/4.09\/4.10 patches"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"04fc2a199eb84f4995fed74a673d32735bc63b06","committime":"2022-02-22T00:51:47","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Bug: https:\/\/bugs.gentoo.org\/804498\nSee: https:\/\/github.com\/gentoo\/gentoo\/pull\/22851#pullrequestreview-882504245\nSigned-off-by: Sam James ","commitid":"860e2f272f0a0a2fecb2ab6f160ce68875770f59","committime":"2022-02-22T00:40:45","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: fix 4.05 with glibc 2.34"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Bug: https:\/\/bugs.gentoo.org\/804498\nSee: https:\/\/github.com\/gentoo\/gentoo\/pull\/22851#pullrequestreview-882504245\nSigned-off-by: Sam James ","commitid":"08d38917b110ea52b3107556e283498a09a89a36","committime":"2022-02-22T00:35:29","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: fix 4.10 with glibc 2.34"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Bug: https:\/\/bugs.gentoo.org\/804498\nSee: https:\/\/github.com\/gentoo\/gentoo\/pull\/22851#pullrequestreview-882504245\nSigned-off-by: Sam James ","commitid":"a5945b83a4ee29d228e1a56101483001da291c54","committime":"2022-02-22T00:29:23","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: fix 4.09 with glibc 2.34"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7ab4db4888b216c3c2a64d02cb4785c2e053497c","committime":"2022-01-23T18:22:15","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/719166\nPackage-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"b621f163b9af5f8949f0ce1ce1bc13651562b3ff","committime":"2022-01-23T18:13:37","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: respect CFLAGS"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1b2d50828196c565c8ad0cd27aaefd20e2d86851","committime":"2022-01-22T20:36:44","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"aa94926bbf041302507bd8a121edba782f0d2afc","committime":"2022-01-22T20:25:03","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: respect CFLAGS for ocaml-4.09"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"93b90803694614c21e8648ce3f3568c957aa4715","committime":"2021-10-17T19:21:17","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"4eb0437eccbafc2ad017160fc28f14024508d784","committime":"2021-10-17T19:08:12","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.11.2-r2 arm64, #804774"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b494aa48b6b1832b24e363cee65fea11a0444cfb","committime":"2021-10-17T05:36:18","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/804498\nSigned-off-by: Sam James ","commitid":"c309652d566cedeb0c93c8b1a08569f54545d354","committime":"2021-10-17T05:16:49","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: fix build with glibc-2.34 in 4.11.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"31b3b129992cfef7665453d4f87de9812b3b7e88","committime":"2021-10-17T00:19:34","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"d88a997f7cfdfdb5aa7ce4e24a3d60b9d0d2ddd7","committime":"2021-10-17T00:12:49","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.11.2-r2 arm, #804774"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"69190fe9527abf0212de699a1de570e6a55487b4","committime":"2021-10-16T22:21:18","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"23732f289a75550f74d3702970cbff8e731865d7","committime":"2021-10-16T22:01:09","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.11.2-r2 ppc64, #804774"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"02354c74a501f09a08f53ea03f05231e2d916283","committime":"2021-10-16T22:01:03","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stabilize 4.11.2-r2 ppc, #804774"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ac89db576d5ede83d99a19443e3d026b2676d54e","committime":"2021-10-16T10:51:16","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a491173ff44e4981d6cdaf9f0856cb23a45393ec","committime":"2021-10-16T10:31:42","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: filter -flto* too"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2f385ccf43ccb395976a9a5086fcc94a036a9809","committime":"2021-10-16T10:21:17","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Bug: https:\/\/bugs.gentoo.org\/818445\nSigned-off-by: Sam James ","commitid":"04eb86bc87e3a854927784268005115f021188bc","committime":"2021-10-16T10:14:26","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: filter LTO, no strict aliasing in <4.12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"721193dcc4652ae02e71fcca72fc4cde4e74509b","committime":"2021-10-13T06:21:15","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a3627d0be10c6c49bff39de7d8dff8116f34974c","committime":"2021-10-13T06:06:23","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.3\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"15e01a2ca58f7fd6dfbfa9c42d18747f02f3fae4","committime":"2021-10-13T06:01:52","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: x86 stable wrt bug #804774"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.3\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"778f64a97c5f2cf1074bf3771aae00321f43838f","committime":"2021-10-13T05:54:00","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: amd64 stable wrt bug #804774"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"61ed6762069c14661be5507f7c7151b13a8b23ee","committime":"2021-10-09T06:06:18","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"58826bf139fe470b0fb7fb8e5f3491c0af1d5f0f","committime":"2021-10-09T05:54:50","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: drop 4.12.0-r2, 4.13.0"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/816765\nSigned-off-by: Sam James ","commitid":"474a14bc9ede109fb7a8033667f42b6f63720962","committime":"2021-10-09T05:54:21","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: fix build with glibc 2.34"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0468917370c41ec184c4d3835626e115b18b25ea","committime":"2021-10-07T06:51:17","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"4b4d33fb725f7d295dd54f82966aabee7eb02fb9","committime":"2021-10-07T06:35:31","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add 4.13.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"de84f7502e59f6654f2d842c2228b83f4d7f41ca","committime":"2021-10-02T05:36:15","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"f570bf2b0a65911fc4b9759e20f748cda8d00d17","committime":"2021-10-02T05:09:09","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add 4.13.0"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"92502dc872b783f7f22a8a8b608baefc5dccb611","committime":"2021-10-02T04:57:02","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add 4.12.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"81f3d089e7d17072ce7411f917c18c0ea67a1a80","committime":"2021-09-15T19:51:19","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"b2190b3fac9d3cad611c9587342fa64359e2c4db","committime":"2021-09-15T19:41:49","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: UnusedInherits"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5938f2c30abac366b7520b6ea0ca9be7375cdaba","committime":"2021-06-18T21:20:03","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/796641\nSigned-off-by: Sam James ","commitid":"32961e61fdd8aef2d28e533c01ca81d90140f7ff","committime":"2021-06-18T20:54:19","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: fix installed Portage set libdir target"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4b3982a183a23d8bb2ee868543b92fd871a408e3","committime":"2021-06-09T22:05:14","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Should be bytecode compatible with non-major version changes. Makes it\na lot easier to give dependencies in e.g. camlp4 which needs to be\nexactly aligned with the OCaml major version.\n\nBug: https:\/\/bugs.gentoo.org\/794898\nAcked-by: Alfredo Tupone \nSigned-off-by: Sam James ","commitid":"2e76cc8b33f566bab28fad6f4efba99b18c03631","committime":"2021-06-09T21:38:36","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: adjust subslot to be major version"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b47cb03821b827f039e8052821b51920f535d99a","committime":"2021-06-08T05:05:07","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/755257\nBug: https:\/\/bugs.gentoo.org\/719134\nSigned-off-by: Sam James ","commitid":"34b06d35218d9e444050526511da10962ea72c2f","committime":"2021-06-08T04:58:53","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add CVE-2018-9838 patch to 4.05.0"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/772407\nSigned-off-by: Sam James ","commitid":"9fbaba04084e9fb5a7f7c29f989c03525c0bed47","committime":"2021-06-08T04:49:29","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add 4.12.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e1b8e8500d244d2df1c27825e1f62f7546d0f623","committime":"2021-03-13T15:36:16","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4985e1c8bae5e8ec11d38c82bc0e844b574d613b","committime":"2021-03-12T18:36:04","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"We can't do anything about it on 32-bit arches and it causes\nunnecessary test failures in OCaml-based packages\n(because of the diff in output).\n\nCloses: https:\/\/bugs.gentoo.org\/773226\nSigned-off-by: Sam James ","commitid":"4bbb6a45f6d3e0193703828d6cdf04b46babc7b9","committime":"2021-03-12T18:13:26","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: don't warn on textrels on 32-bit arches"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"57a18b8f94df62ad236947ba704d92069e410ccc","committime":"2021-03-12T17:52:49","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: drop 4.10.0, 4.11.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7569228653ed7f5f72def19b544c1f4a94cc9986","committime":"2021-03-08T15:20:47","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mmk@levelnine.at","authorname":"Michael Mair-Keimberger","body":"Package-Manager: Portage-3.0.16, Repoman-3.0.2\nSigned-off-by: Michael Mair-Keimberger \nCloses: https:\/\/bugs.gentoo.org\/774867\nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/19831\nSigned-off-by: Sam James ","commitid":"da5e152c604dfeb14caf7adfa3db9c36d0f004e4","committime":"2021-03-08T14:45:02","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: fixing patching, remove unused eutils eclass"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"328ea5a403782a363a498d12ef0fea0782d8cc2a","committime":"2021-02-24T16:37:23","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.14, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"7597801c23580d07a3a8d7c7a0ba15fec5492586","committime":"2021-02-24T16:15:33","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: bump to 4.11.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"77bf3084cc274b228eccc8854bbde65fef01ff2d","committime":"2021-02-17T18:22:31","packageid":49590,"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 ","commitid":"b953f1809107eabb42a356839cba543e699c84aa","committime":"2021-02-17T18:04:17","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: remove 4.04 version"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6db71a0946e68aa0f482bd0b8b532b348a646ee7","committime":"2021-02-17T07:07:32","packageid":49590,"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 ","commitid":"a3e8774a6625fae44f96745e0f5c42bf39b96940","committime":"2021-02-17T06:58:06","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: migrate to EAPI 7"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"df2bfdb02d2f11f62f42be719b0028ecd9270447","committime":"2021-01-28T23:32:54","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Bug: https:\/\/bugs.gentoo.org\/735274\nPackage-Manager: Portage-3.0.13, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"77fd8a0f1e7d400c8658105c0e0163ac49b6412b","committime":"2021-01-28T22:15:08","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: build with gcc-10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6f9177970b824cce96ce881c87f3fafd9c3cd894","committime":"2021-01-06T20:05:15","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"grobian@gentoo.org","authorname":"Fabian Groffen","body":"Package-Manager: Portage-3.0.12, Repoman-3.0.2\nSigned-off-by: Fabian Groffen ","commitid":"57e418aa8cee58a0404138f45757f9146ded3dfa","committime":"2021-01-06T19:05:10","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: drop x86-macos"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fe8acad390c0ca29f9356ce3b5cd7c218bb9d230","committime":"2020-12-28T12:05:11","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.9, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"fb7b2eeeee1ba02735cc72b20eae7bee9c119c66","committime":"2020-12-28T09:20:07","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: bump to 4.10.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c","committime":"2020-10-13T13:23:50","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Thanks to Martin 'The Bishop' Scheffler for reporting ocaml does\nnot compile with gcc-10, and for the patch. This appears to be fixed\nupstream.\n\nThanks to Josh Parsons for the x32 compile patch, this appears to be\nfixed upstream.\n\nBug: https:\/\/bugs.gentoo.org\/735274\nBug: https:\/\/bugs.gentoo.org\/555598\nPackage-Manager: Portage-3.0.8, Repoman-3.0.1\nSigned-off-by: Mark Wright ","commitid":"6b92854d276a8b00adccea7265b068b961530a3e","committime":"2020-10-10T08:13:21","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Bump to 4.11.1"},{"authoremail":"lubos@kolouch.net","authorname":"Lubos Kolouch","body":"Package-Manager: Portage-3.0.8, Repoman-3.0.1\nSigned-off-by: Lubos Kolouch \nSigned-off-by: Mark Wright ","commitid":"ea2f393820e0834d4ee833e6e24e2137710920d2","committime":"2020-10-07T20:52:47","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Bump to 4.10.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4610aa3181c1820adc795103484852db6f4df144","committime":"2020-10-03T14:05:18","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Signed-off-by: Sergei Trofimovich ","commitid":"4f72fdf0d6d07e9e6bcf59fb0ff93b7077327ff2","committime":"2020-10-03T13:45:52","packageid":49590,"repoid":1,"summary":"*\/*: depeywork dev-lang\/ocaml and revdeps on sparc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e3701e6681fcb4b621c294895e506ffe13726d14","committime":"2020-04-12T22:06:30","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"leio@gentoo.org","authorname":"Mart Raudsepp","body":"Package-Manager: Portage-2.3.84, Repoman-2.3.20\nSigned-off-by: Mart Raudsepp ","commitid":"c01775e41dd1d1c46773d629daa95ddc7d99701e","committime":"2020-04-12T21:49:49","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: arm64 stable (bug #708696)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7e330619608f15fd933afe697de21943b3173183","committime":"2020-04-03T20:08:45","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mattst88@gentoo.org","authorname":"Matt Turner","body":"Signed-off-by: Matt Turner ","commitid":"0b8b716331049599ea3299981e3a9ea6e258c5e0","committime":"2020-03-30T17:13:23","packageid":49590,"repoid":1,"summary":"*\/*: Drop stable ia64 keywords"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9eacf5bd61a08783ce5385006dfefdd1dea43236","committime":"2020-03-20T08:37:47","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"eike@sf-mail.de","authorname":"Rolf Eike Beer","body":"Package-Manager: Portage-2.3.89, Repoman-2.3.20\nRepoMan-Options: --include-arches=\"hppa\"\nSigned-off-by: Rolf Eike Beer \nSigned-off-by: Sergei Trofimovich ","commitid":"c0ea2cbaac2b22626586af84954fa55c76c46e51","committime":"2020-03-20T07:36:35","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: drop to ~hppa"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d407d0d24960965984780790f727968d4fce958a","committime":"2020-03-02T12:06:34","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Package-Manager: Portage-2.3.88, Repoman-2.3.20\nRepoMan-Options: --include-arches=\"hppa\"\nSigned-off-by: Sergei Trofimovich ","commitid":"d7e38cea28b03ab9fff237d46ae52cbc59b0bea3","committime":"2020-03-02T11:36:55","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: stable 4.09.0 for hppa, bug #708696"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a8d907e4b2acb38467b494e36313788750592b3d","committime":"2020-02-11T17:48:59","packageid":49590,"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 ","commitid":"6568a730a830fd8a93b28162a01787600d19d307","committime":"2020-02-11T17:05:13","packageid":49590,"repoid":1,"summary":"*\/*: Bump copyright on files touched this year"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"09c6b44349781fc77f551815372098ca3a147a12","committime":"2020-02-11T12:39:33","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.84, Repoman-2.3.20\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"5c063e167b7751a3a8fdf4f90c0744ab07cab0b4","committime":"2020-02-11T12:14:58","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ppc stable wrt bug #708696"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"efd5e090136b2f452132e4f0888ebbd51b5e9d2a","committime":"2020-02-11T12:06:48","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.84, Repoman-2.3.20\nRepoMan-Options: --include-arches=\"ppc64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"3e48796eaf69f8db9a27ee5568b55282482df16b","committime":"2020-02-11T11:44:08","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ppc64 stable wrt bug #708696"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.84, Repoman-2.3.20\nRepoMan-Options: --include-arches=\"ia64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"fda02c0cb61f574b4ef21d36c0bd32588910da85","committime":"2020-02-11T11:36:33","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ia64 stable wrt bug #708696"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5af273140b1b3580a1349e2160b815527bbc0479","committime":"2020-02-10T08:26:35","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.84, Repoman-2.3.20\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"a365ffee8a3dd63b2987bbdaac3ddda356a7a1e0","committime":"2020-02-10T08:18:00","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: x86 stable wrt bug #708696"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.84, Repoman-2.3.20\nRepoMan-Options: --include-arches=\"arm\"\nSigned-off-by: Agostino Sarubbo ","commitid":"3c20c62a9be0e4aa45b380d4f132e56e26480f30","committime":"2020-02-10T08:16:50","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: arm stable wrt bug #708696"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4ccd41f9ec9484d7007fd8726b5867fa66e28b23","committime":"2020-02-09T11:06:34","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.84, Repoman-2.3.20\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"334c0b73cf9f60e1d103d9661a5a04f04051778f","committime":"2020-02-09T10:31:36","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: amd64 stable wrt bug #708696"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9d885f74d0dffe761a23762dc38767da798c3d02","committime":"2020-02-05T09:48:19","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Package-Manager: Portage-2.3.87, Repoman-2.3.20\nSigned-off-by: Sergei Trofimovich ","commitid":"3e396d2b57d76c1025491c8313859e59778f65e8","committime":"2020-02-05T09:38:23","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: tweak for gcc-10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ec1eddd5e7b3f69cadcdbf1547a742a3ce22097d","committime":"2020-01-26T00:28:29","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mattst88@gentoo.org","authorname":"Matt Turner","body":"Signed-off-by: Matt Turner ","commitid":"5671613f07850086a11a1ace34816b498e9b69b7","committime":"2020-01-26T00:18:19","packageid":49590,"repoid":1,"summary":"*\/*: Drop stable alpha keywords"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dd32aaff0df9f2ce4eb2a3fd9d769a5e9c078bdc","committime":"2019-12-28T14:05:34","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zlogene@gentoo.org","authorname":"Mikle Kolyada","body":"Package-Manager: Portage-2.3.79, Repoman-2.3.16\nSigned-off-by: Mikle Kolyada ","commitid":"8f2b80ace6a8276b20b86bae4f38000490702d31","committime":"2019-12-28T13:39:29","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: restore keywords"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ceb656854dab9bbe3ba22ab1983c1333e1081771","committime":"2019-12-27T13:45:24","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"github@seichter.de","authorname":"Ralph Seichter","body":"This new OCaml ebuild uses EAPI 7. As discussed with Zlogenem, multi-\nplatform support has been removed and the ebuild is now keyworded for\n~amd64 only.\n\nSignificant time was spent figuring out why the build failed when run\nvia ebuild, but succeeded when run manually. After I filed an upstream\nissue[1] and a subsequent discussion, it turned out that Gentoo's ${P}\nvariable clashed with the OCaml build, as I had suspected. The line\n\n P ?= stdlib__\n\nin a Makefile resulted in wrong file paths which in turn broke the\nOCaml documentation build. I have asked upstream if their use of the\n\"?=\" operator is deliberate; an answer is pending.\n\nThe license in this build has been changed to match [2].\n\n[1] https:\/\/github.com\/ocaml\/ocaml\/issues\/9189\n[2] https:\/\/ocaml.org\/docs\/license.html\n\nCloses: https:\/\/bugs.gentoo.org\/688108\nPackage-Manager: Portage-2.3.79, Repoman-2.3.16\nSigned-off-by: Ralph Seichter \nSigned-off-by: Mikle Kolyada ","commitid":"df1434388cf449f432d8058f8fa0e9f0202483ab","committime":"2019-12-16T01:37:34","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Bump to version 4.09.0, EAPI 7"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5adfa39130cf2dab0dc2dc44f986018d2b877f52","committime":"2019-10-11T16:17:33","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"6285ca3133651fc3ce59f603c3340e5842e45c65","committime":"2019-10-11T15:34:21","packageid":49590,"repoid":1,"summary":"dev-lang: Remove *-fbsd KEYWORDS"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f42227da3bf9f06f6816b668a96096496f944b11","committime":"2019-07-29T19:28:07","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"bman@gentoo.org","authorname":"Aaron Bauman","body":"Signed-off-by: Aaron Bauman \nPackage-Manager: Portage-2.3.69, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"arm64\"","commitid":"f82e80782935cb3445874fe831f4b5b0f44aa16a","committime":"2019-07-29T18:24:23","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: arm64 stable"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f06035b3d858f82dd7e119409c8777cc9ac56c6c","committime":"2019-03-22T10:24:01","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"polynomial-c@gentoo.org","authorname":"Lars Wendler","body":"Closes: https:\/\/bugs.gentoo.org\/459512\nPackage-Manager: Portage-2.3.62, Repoman-2.3.12\nSigned-off-by: Lars Wendler ","commitid":"45d7b4d6d7c5e9f2ca1d742a53072f3a92cb5a91","committime":"2019-03-22T09:46:07","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Fixed build with sys-libs\/ncurses[tinfo]"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"118287e017195454066929b40c97bff2960fb122","committime":"2019-01-04T18:43:51","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"radhermit@gentoo.org","authorname":"Tim Harder","body":"Signed-off-by: Tim Harder ","commitid":"7e6c642ba2e5d0337fa53cf5e821f8aff9f208ff","committime":"2019-01-04T18:36:58","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: use https for HOMEPAGE"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"b3a971f66aa60051a815a18dc6479c0488ed5779","committime":"2018-04-28T01:35:38","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mattst88@gentoo.org","authorname":"Matt Turner","commitid":"718610b8e44c2bf400d3186cf10b25bba1e963b1","committime":"2018-04-28T01:02:31","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Drop unnecessary x11-proto dep"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"661f80c45ed5cf1f07bc280718647d663d4ea4fa","committime":"2017-11-15T07:03:37","packageid":49590,"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":"e1aaea1a07343024daf921c1426de3d0006a4c3f","committime":"2017-11-13T22:15:21","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: remove 4.06.0, moved to overlay"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"05aac61517d27b8621d9dbc853ba6b6e095db0cc","committime":"2017-11-04T10:06:29","packageid":49590,"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":"a6d01be9822256081a797c10f53641415d9b7a96","committime":"2017-11-04T09:53:14","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: bump to 4.06"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.13, Repoman-2.3.4","commitid":"60940e91cca42fbb99bd0ca38892fb55e5e0dc00","committime":"2017-10-31T09:04:34","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: bump to 4.06.0-rc1"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"cc8a09d8d6eee3e05c5d91238f52a2ff7d05c310","committime":"2017-10-14T12:03:40","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.11, Repoman-2.3.3","commitid":"288454d53d16bac0bac387aff43dfcf0449885c1","committime":"2017-10-14T11:30:48","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: bump to 4.06.0_beta2"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"cff14ed9f5670c78a4485f010e68dfed6fa59b0c","committime":"2017-10-14T11:23:28","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.11, Repoman-2.3.3","commitid":"146718a228a7cdd4bd01d50639d10fdab6c2bdbd","committime":"2017-10-14T11:03:58","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: restore keywords on 4.06 now that it is masked"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"bdae56e72b7dde7760f816984204c4c636f4e3b5","committime":"2017-10-04T11:18:14","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.11, Repoman-2.3.3","commitid":"df3159382891504259ebadd5d35604ef15a00ad0","committime":"2017-10-04T08:56:52","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add 4.06.0_beta1"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.11, Repoman-2.3.3","commitid":"198f61a7fcbfa73c3faadb3ff99162114e038170","committime":"2017-10-04T08:18:02","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"e8f2970eec56ae5dd5c5ce8527aadf89b0a0649d","committime":"2017-09-27T09:44:09","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Package-Manager: Portage-2.3.10, Repoman-2.3.3\nRepoMan-Options: --include-arches=\"hppa\"","commitid":"da0c51586dbd304042f0c06beac5dee298363c47","committime":"2017-09-27T09:23:21","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: stable 4.04.2 for hppa, bug #622544"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ecc6873d0d79f537c678d049eaa620cec6f92df6","committime":"2017-07-16T11:26:07","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"klausman@gentoo.org","authorname":"Tobias Klausmann","body":"Gentoo-Bug: 622544","commitid":"9943fd03bb0c7ad479b7e76f8fec8ca5c214c572","committime":"2017-07-16T11:06:48","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml-4.04.2-r0: alpha stable"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"b4f309a8aa3065c1297da4d34d38dd5927b74e03","committime":"2017-07-13T22:28:13","packageid":49590,"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":"84c4c5683821d787c70616e7a0da30e239eb2a37","committime":"2017-07-13T21:22:22","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: serialize build a bit more as it sometimes fails"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"2ad61f09f5f2d6ab0c697847812070e20e1da560","committime":"2017-07-13T21:06:34","packageid":49590,"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":"997d76e3e1474293729bfe5a3f3f40279d11191f","committime":"2017-07-13T18:37:49","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: dont enable flambda by default yet, it causes infinite loop when building e.g. dose3"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"684210ad08577a1274a022aed81c7505ee6a0f5c","committime":"2017-07-13T12:45:30","packageid":49590,"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":"02cd07c801af102cb1160b4a9ac03b0b5f7c0578","committime":"2017-07-13T12:38:37","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Bump to 4.05"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"806f5257344d20cadd4643232349a8fb91736139","committime":"2017-07-07T14:54:41","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.1\nRepoMan-Options: --include-arches=\"ppc64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"90f750b4966a3881ba7397d1869d18fbcf3486bc","committime":"2017-07-07T14:43:16","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ppc64 stable wrt bug #622544"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"56a87be0d00fbd18428770e238bbd67f104cdca7","committime":"2017-07-07T13:32:39","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.1\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"c21dc3d3e72b6f000a2b6abeeb2036e309ed2a74","committime":"2017-07-07T13:16:43","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ppc stable wrt bug #622544"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"cf092993aa1bfab26baa5838c10170e0d4002a7a","committime":"2017-07-07T09:24:11","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.1\nRepoMan-Options: --include-arches=\"sparc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"3c6e78060e0550130cf2472b3cc4ed109541f95b","committime":"2017-07-07T09:00:23","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: sparc stable wrt bug #622544"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"30fbefe4cebd4f70ca6f72179dc47068080265e1","committime":"2017-07-07T06:23:48","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"maekke@gentoo.org","authorname":"Markus Meier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.1\nRepoMan-Options: --include-arches=\"arm\"","commitid":"146bf052b3938a63fe2207aa31c90d7707a966ff","committime":"2017-07-07T06:17:51","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: arm stable, bug #622544"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"aca22cb92f21912266ef11bb25ff98cbc7aa01be","committime":"2017-06-30T11:24:05","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.1\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"cc373e0f56e6013d1a56863c783c518fa2a32491","committime":"2017-06-30T11:07:08","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: x86 stable wrt bug #622544"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"efc39204c0bcfe219d29e84ff761aa33a40b3555","committime":"2017-06-30T08:23:43","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.2","commitid":"ada141326532def289883c4c102aab22dcf617fa","committime":"2017-06-30T07:14:40","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ia64 stable, bug #622544"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"510b27ed0b25f0668d9c0c01b3731f91f3aa3fe8","committime":"2017-06-29T20:43:54","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"0f142b9a4af80dd388ae5a328fd05ef713ca9db7","committime":"2017-06-29T08:14:06","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.1\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"06c436cd285c5855a0030208a93514e0bf0fbfea","committime":"2017-06-29T08:06:18","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: amd64 stable wrt bug #622544"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.2","commitid":"a2d28e3858a9279f1803bc0975600a45ea38eec5","committime":"2017-06-29T07:17:06","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Remove old"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.2","commitid":"20d5a00479c12a67042fc963f3ff081ab09bb731","committime":"2017-06-29T07:16:33","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Bump to 4.05.0_rc1"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"f587731e53fd964a30cc362b4d8ce857ee35d9b8","committime":"2017-06-25T15:04:08","packageid":49590,"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":"3ec79a02a0972efec433ab20c755aed4fb164ab5","committime":"2017-06-25T11:04:19","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Bump to 4.04.2, bug #622544"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"7d398c82d6a2e545f70f992df9ee4fef427c115b","committime":"2017-06-20T13:52:40","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"grobian@gentoo.org","authorname":"Fabian Groffen","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.1","commitid":"e6e3511a0854d90a3e2fea28b6434228933a7cfa","committime":"2017-06-20T13:35:09","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add Prefix keywords, bug #618700"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"09a8d3703e697e9a3d18ee0a0b0d11ddadfa6b85","committime":"2017-06-15T13:56:04","packageid":49590,"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":"0c354cab7a1f6fa456f224bd12ca40abe0bf9769","committime":"2017-06-15T13:44:05","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: keyword ~arm64"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"89d751f974c7d67600897cb4e8fea7f71a1c32b9","committime":"2017-04-15T10:41:49","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.5, Repoman-2.3.2","commitid":"62b5205e8441853746d90d11ca8c3fe2aa90873a","committime":"2017-04-14T13:01:58","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Bump to 4.04.1"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c8b5ee041aedd5b92f4b61ee47ca4ad4dcaff8ab","committime":"2017-04-02T08:42:00","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.5, Repoman-2.3.2","commitid":"c7548f035d1b6381376f921001bd7ef44405ec35","committime":"2017-04-01T14:14:05","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: remove shadowed version"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.5, Repoman-2.3.2","commitid":"28c1dfc7958f1a345b4e2ebbb1fd0fdc2c4a0812","committime":"2017-04-01T14:13:39","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Strip -ggdb3 from cflags as it causes issues."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"f2fe5cb11ba8e240e0a8599f1a3bbe166bc8ba89","committime":"2017-03-27T10:22:38","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.5, Repoman-2.3.2","commitid":"6fa53186f40f3773aa63d6cb36328a47d1a83447","committime":"2017-03-27T09:19:09","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Bump to 4.05 beta3"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"8dc3e325286c2501727c7ec01ed1b3b1bc737f29","committime":"2017-03-03T11:42:22","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.4, Repoman-2.3.2","commitid":"4fedbd8f11a1b6e9b6f2b5716364236791fce6e9","committime":"2017-03-03T11:19:23","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Restore standard keywords now that it is masked"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"Signed-off-by: Robin H. Johnson ","commitid":"61b861acd7b49083dab687e133f30f3331cb7480","committime":"2017-02-28T19:47:27","packageid":49590,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"43deb847b3f4b5443af7e12aa1af0643e5f2c59f","committime":"2017-02-21T14:42:03","packageid":49590,"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":"51471f96c49a9b52228e053edc661a0588e84b67","committime":"2017-02-21T14:20:03","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Shorten description."},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Without keywords since it is a beta and breaks quite a few packages.\nEnable flambda by default.\nAdd spacetime useflag.\n\nPackage-Manager: Portage-2.3.3, Repoman-2.3.1","commitid":"29bc855853099d0cce004f9fa5401b346464c55a","committime":"2017-02-21T14:19:18","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Bump to 4.05.0_beta2."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"fe3c8ade44234b2286edbdb67f95612c2f04370a","committime":"2017-02-14T09:42:00","packageid":49590,"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":"2775476e43062e27f22f5b93cc98a0f83befd10f","committime":"2017-02-14T09:31:24","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"2987057045e75b61c3d3a99adfa2e13b58541ccd","committime":"2017-02-12T20:02:02","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"maekke@gentoo.org","authorname":"Markus Meier","body":"Package-Manager: Portage-2.3.3, Repoman-2.3.1\nRepoMan-Options: --include-arches=\"arm\"","commitid":"42be2ecc2bfa298de870c1b9431c5de4f53441de","committime":"2017-02-12T19:56:32","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: arm stable, bug #581946"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"459cf8fc5c22c08091584e9f2778e5e0e041cfc0","committime":"2017-01-29T23:22:05","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jer@gentoo.org","authorname":"Jeroen Roovers","body":"Package-Manager: Portage-2.3.3, Repoman-2.3.1\nRepoMan-Options: --ignore-arches","commitid":"7a3a43e290bd64c573feb11da45f5c03e37fc972","committime":"2017-01-29T22:57:50","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stable for HPPA (bug #581946)."},{"authoremail":"malfatti@neuro.ufrn.br","authorname":"T. Malfatti","commitid":"8457ba6f9fd6f0dbafcca1fb375788eeea02aae1","committime":"2017-01-26T18:44:34","packageid":49590,"repoid":1,"summary":"media-libs\/portaudio: Version bump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"7b5984b096b127a5e662e4a1e13c352f40f550b6","committime":"2017-01-26T15:41:57","packageid":49590,"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 ","commitid":"67cbb363ebb9398d9d7c3ca198c3a44042482adc","committime":"2017-01-26T15:28:01","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ia64 stable wrt bug #581946"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d0645c6277693c363033c4ea99568b148375f88a","committime":"2017-01-26T11:26:59","packageid":49590,"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 ","commitid":"99c1cdffe52f8177cfad78ec75a3aedb12858f4e","committime":"2017-01-26T10:58:12","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ppc stable wrt bug #581946"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ff60dd3a6216864a0e48074f663a0a97e34b53db","committime":"2017-01-26T10:42:06","packageid":49590,"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=\"sparc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"3ff9329639790abc695489f4fccf74edbddb2165","committime":"2017-01-26T10:21:41","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: sparc stable wrt bug #581946"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"f7d778a36ea9c8248ff3b2be8d7c14ddb3cf37a0","committime":"2017-01-25T19:41:55","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"klausman@gentoo.org","authorname":"Tobias Klausmann","body":"Gentoo-Bug: 581946","commitid":"0762be75778f1708ea5e8bb10bfc501cd57e22b1","committime":"2017-01-25T18:26:58","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml-4.04.0-r0: stable on alpha"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"8335253077f5cacc3bd057438dc4e20811deb3b8","committime":"2017-01-25T17:02:10","packageid":49590,"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":"4530442dc257bbc66a5b67b1846d16c7d2f0093f","committime":"2017-01-25T16:56:07","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"1ae1dccb7334b51976f94837acb178d2228c9dac","committime":"2017-01-25T16:02:07","packageid":49590,"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 ","commitid":"a9720e1c9932bbea421da3c7167bd8e53b971cc4","committime":"2017-01-25T15:51:03","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ppc64 stable wrt bug #581946"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ebdbc6f3d35eb8f3038c05bb0bd9db8f37642001","committime":"2017-01-25T15:41:54","packageid":49590,"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 ","commitid":"7f450492d8f3c9003311fb241a33653f31e1236b","committime":"2017-01-25T15:34:56","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: x86 stable wrt bug #581946"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"506c032be44e34db26200b9d7252413da527bfdc","committime":"2017-01-25T14:41:55","packageid":49590,"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=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"b3281f820bf5ef3679b0fa09e34420597f7d7520","committime":"2017-01-25T14:28:40","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: amd64 stable wrt bug #581946"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ba69d6b090a7600214090c617d8f92417c9be8dc","committime":"2017-01-14T16:02:35","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zlogene@gentoo.org","authorname":"Mikle Kolyada","body":"Package-Manager: portage-2.3.0","commitid":"064c2fda859b78cc2f180010075dc0907a7ff563","committime":"2017-01-14T15:41:33","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: last EAPI=1 ebuild is gone"},{"authoremail":"zlogene@gentoo.org","authorname":"Mikle Kolyada","body":"Package-Manager: portage-2.3.0","commitid":"1960affb3785f991718f8618969101faa3b9e5c4","committime":"2017-01-14T15:38:22","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ia64 stable"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"7f963b1088b0cb12dccdd05f13ba824839780e59","committime":"2017-01-11T10:42:34","packageid":49590,"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=\"sparc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"5e0e742ea2abe741b07e6abd73f04a0ac4b1264b","committime":"2017-01-11T10:20:44","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: sparc stable wrt bug #463018"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"1f8becd2581cdae0a1ca8edd8420fdde2328aa8c","committime":"2016-11-29T15:22:07","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.2","commitid":"110fd657345cf32450a140beb9c6fa82fb8e018b","committime":"2016-11-29T14:53:44","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: restore keywords on 4.04"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"eb9b557718ff13031fe60a7bcce8592670ce76e7","committime":"2016-11-15T09:42:55","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.2","commitid":"5129fb8b847f097d3c3f2e591e87b1a887dda4ab","committime":"2016-11-15T09:34:22","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: bump to 4.04.0 (still without keywords for now)"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.2","commitid":"0fcb1f9a03d43f6da116c98d60885e2c5b6540da","committime":"2016-11-15T09:32:50","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add missing dep on binutils-libs"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ca62f5ca7af844c828d9c29a827b4f829ffce8eb","committime":"2016-09-06T08:42:47","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"34c59cf61eb3bb9fa3b2253ee63ba4696a6874f9","committime":"2016-09-06T08:28:59","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add 4.04.0_beta2 without keywords"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c1c33d82b30b679b6bac172e665edb61787c2029","committime":"2016-04-30T14:22:40","packageid":49590,"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 ","commitid":"d5bf89ad97a4d0f0a30f697ee4071e74fc2e9831","committime":"2016-04-30T13:36:44","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: remove 4.03 beta"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.28\nSigned-off-by: Alexis Ballier ","commitid":"901de1fdcf9e7105ea677eeadbb5ec7addaec8f2","committime":"2016-04-30T13:20:30","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: bump to 4.03"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c6fd473d96ea0848a87ed6ab697289853c3e4f0a","committime":"2016-04-02T09:25:24","packageid":49590,"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 ","commitid":"d47d7fc186f119b1dec024fa23fce7e771f3d296","committime":"2016-04-02T09:05:30","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add flambda useflag"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.28\nSigned-off-by: Alexis Ballier ","commitid":"8ef14a4634fe18eb9e47865dd4e6da555daed330","committime":"2016-04-02T08:52:33","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: bump to 4.03.0+beta2"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"cf96f39de09146c06c919eef17ec95b3ddf5d994","committime":"2016-03-03T11:02:23","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"1c1491debaf5316851abf30a34e4084342c38e8c","committime":"2016-03-03T10:58:01","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add tests support"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"2b50fc77bfbd76e94498bcc613c80daadc285d3f","committime":"2016-03-01T19:24:39","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"95df0eb618587bb13ad74e990460108534fbae6e","committime":"2016-03-01T19:15:02","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: restore keywords, it is masked in package.mask"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d6248f6f54abc04f405e547d34a6be6e2deacd25","committime":"2016-03-01T19:02:12","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"e3f0e7eb8428f557cd1433a286a07d77577bfbe5","committime":"2016-03-01T17:49:52","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Add a 4.02.3 version without ocamlbuild to prepare for the dev-ml\/ocamlbuild transition needed for ocaml 4.03"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"96039e3256969b3bd72ef41d1a0834c09df06035","committime":"2016-03-01T17:24:02","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add 4.03 beta1 without keywords"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ca47f8a92782e92bdead088b4078ebdffcf65361","committime":"2016-02-04T17:41:54","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"klausman@gentoo.org","authorname":"Tobias Klausmann","body":"Gentoo-Bug: 463018\n\nPackage-Manager: portage-2.2.27","commitid":"b050028150dfe8d167f4b1396b63da27e13c827a","committime":"2016-02-04T17:23:32","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: add alpha keyword"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"51f7bb2d1a09cffc28f6681abac377e46e66f7af","committime":"2015-11-21T14:41:42","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"maekke@gentoo.org","authorname":"Markus Meier","body":"Package-Manager: portage-2.2.25\nRepoMan-Options: --include-arches=\"arm\"","commitid":"7da035c14d77f0117011cb122b02879ddc4e5cb6","committime":"2015-11-21T14:23:06","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: arm stable, bug #463018"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"10856f26651ef6c43b3a7c87fb94e63bebf72d0e","committime":"2015-11-12T11:41:49","packageid":49590,"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\"","commitid":"55e23792bb3fd7bff88ae9a6d1262735abf7fcdf","committime":"2015-11-12T11:21:03","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: ppc stable wrt bug #463018"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a8116b531a6b0cab56a8ab1179c51c407bf47a6c","committime":"2015-11-11T10:01:59","packageid":49590,"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\"","commitid":"a11110db67907fb2881197bfafa1bf6624a410db","committime":"2015-11-11T09:53:42","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: x86 stable wrt bug #463018"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"b2149e6abeaf7f70cc17474e7cca3d630f1710a9","committime":"2015-11-10T12:21:42","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.24\nSigned-off-by: Alexis Ballier ","commitid":"8484ddce33a613a12ca92e65d73ffb27f9aea76e","committime":"2015-11-10T12:08:00","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: remove old"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.2.20.1\nRepoMan-Options: --include-arches=\"amd64\"","commitid":"3852baac8b5accf81cd3431de41dadd38783c337","committime":"2015-11-10T12:01:01","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: amd64 stable wrt bug #463018"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ecbd63414290528c124f1a1624d9adc125efaaed","committime":"2015-11-03T04:21:51","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jer@gentoo.org","authorname":"Jeroen Roovers","body":"Package-Manager: portage-2.2.23\nRepoMan-Options: --ignore-arches","commitid":"621c75aae1df53068f5dfefd9e462ab8fb3db790","committime":"2015-11-03T04:10:34","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stable for PPC64 (bug #463018)."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"400768e9fd744b90f0ed33384da0c2eabc00d0b8","committime":"2015-11-01T11:21:57","packageid":49590,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jer@gentoo.org","authorname":"Jeroen Roovers","body":"Package-Manager: portage-2.2.23\nRepoMan-Options: --ignore-arches","commitid":"44d03076b90ad596e3bdde345254f1d22ba53065","committime":"2015-11-01T10:57:35","packageid":49590,"repoid":1,"summary":"dev-lang\/ocaml: Stable for HPPA (bug #463018)."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":49590,"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 \nX-Thanks: Alec Warner - did the GSoC 2006 migration tests\nX-Thanks: Robin H. Johnson - infra guy, herding this project\nX-Thanks: Nguyen Thai Ngoc Duy - Former Gentoo developer, wrote Git features for the migration\nX-Thanks: Brian Harring - wrote much python to improve cvs2svn\nX-Thanks: Rich Freeman - validation scripts\nX-Thanks: Patrick Lauer - Gentoo dev, running new 2014 work in migration\nX-Thanks: Michał Górny - 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":49590,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"0c0be6b3a9838fc617a879a62d8257c2d104af8f","committime":"2015-07-31T10:27:31","packageid":49590,"repoid":1,"summary":"2015-07-31 10:27:24 UTC"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":49590,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[],"depending":[{"block":false,"categoryid":314,"description":"OCaml SDL Bindings","ebuildids":[857092,857092,857092],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocamlsdl","packageid":41844},{"block":false,"categoryid":317,"description":"Coq\/Rocq is a proof assistant written in O'Caml","ebuildids":[857163,857163,857164,857164,857165,857165,857710,857710,857710,857710],"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":314,"description":"OCaml bindings for expat","ebuildids":[777661,777661,777661],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml-expat","packageid":42672},{"block":false,"categoryid":314,"description":"OCaml bindings for OpenSSL","ebuildids":[774188,774188,774188,774188,801219,801219,801219,801219],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml-ssl","packageid":42953},{"block":false,"categoryid":314,"description":"OCaml constraint programming library on integer & integer set finite domains","ebuildids":[776388,776388],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"kde@gentoo.org","maintainername":"Gentoo KDE Project","name":"facile","packageid":43006},{"block":false,"categoryid":314,"description":"Cryptographic primitives library for Objective Caml","ebuildids":[816783,816783,845928,845928,860875,860875],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"cryptokit","packageid":43079},{"block":false,"categoryid":314,"description":"OCaml bindings to GTK-3","ebuildids":[870867,870867],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"lablgtk","packageid":43080},{"block":false,"categoryid":459,"description":"Multi-network P2P application written in Ocaml, with Gtk, web & telnet interface","ebuildids":[783052,839799],"firstseen":"2010-05-04T00:54:45.661860","name":"mldonkey","packageid":43358},{"block":false,"categoryid":314,"description":"Ocaml bindings for Augeas","ebuildids":[496216,496216,496216,862273],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"prometheanfire@gentoo.org","name":"ocaml-augeas","packageid":43401},{"block":false,"categoryid":314,"description":"Objective CAML interface for OpenGL","ebuildids":[857081,857081,857680,857680],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"lablgl","packageid":44404},{"block":false,"categoryid":314,"description":"Perl Compatibility Regular Expressions for O'Caml","ebuildids":[727016,727016,778473,778473,778473,778473],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"pcre-ocaml","packageid":45157},{"block":false,"categoryid":321,"description":"Xen tools including QEMU and xl","ebuildids":[862267,862268],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"xen@gentoo.org","maintainername":"Gentoo Xen Project","name":"xen-tools","packageid":45176},{"block":false,"categoryid":451,"description":"Two-way cross-platform file synchronizer","ebuildids":[841795,848752],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"unison","packageid":45503},{"block":false,"categoryid":318,"description":"Multi-language scientific plotting library","ebuildids":[859752,859752],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"plplot","packageid":45584,"summary":"PLplot is a library of functions that are useful for making scientific plots. It can be used from within compiled languages such as C, C++, FORTRAN and Java, as well as interactively from interpreted languages such as Octave, Python, Perl and Tcl. It is capable of producing standard x-y plots, semilog plots, log-log plots, contour plots, 3D surface plots, mesh plots, bar charts and pie charts. Multiple graphs may be composited, and it also supports a large variety of output file devices such as Postscript, PNG, JPEG, LaTeX and others. It is also possible to to use interactive devices such as xwin, tk and xterm as output devices. PLplot also offers support for extended characters inculding the Greek alphabet and a host of mathematical symbols."},{"block":false,"categoryid":314,"description":"Jane Street's alternative to the standard library","ebuildids":[748093,748093,791974,791974,791974,791974,834033,834033,834033,834033,865666,865666,865666,865666],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"core","packageid":45725,"summary":"Core is Jane Street Capital's Ocaml standard library overlay. It provides tail recursive versions of non tail recursive functions in the standard library, changes the signature of many of the standard modules, and adds new functionality. Core_extended adds new functionality, but is only code reviewed on an ad-hoc basis."},{"block":false,"categoryid":387,"description":"Daemon that provides access to the Linux\/Unix console for a blind person","ebuildids":[807421,834884,855692],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"accessibility@gentoo.org","maintainername":"Gentoo Accessibility Project","name":"brltty","packageid":46258,"summary":"BRLTTY is a background process (daemon) which provides access to the Linux\/Unix console (when in text mode) for a blind person using a refreshable braille display. It drives the braille display, and provides complete screen review functionality. Some speech capability has also been incorporated."},{"block":false,"categoryid":422,"description":"A line editor to be used with interactive commands","ebuildids":[857679,857679],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ledit","packageid":47521},{"block":false,"categoryid":314,"description":"Compressed file access ML library (ZIP, GZIP and JAR)","ebuildids":[668031,668031,668031,726016,726016,726016,841408,841408,841408,843033,843033,843033],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camlzip","packageid":47766},{"block":false,"categoryid":314,"description":"Stub code generator for OCaml","ebuildids":[830106,830106,869897,869897],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camlidl","packageid":48660},{"block":false,"categoryid":314,"description":"Cooperative light-weight thread library for OCaml","ebuildids":[844953,844953,866852,866852,870047,870047],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"aballier@gentoo.org","maintainername":"Alexis Ballier","name":"lwt","packageid":49122},{"block":false,"categoryid":314,"description":"Library for automated conversion of OCaml-values to and from S-expressions","ebuildids":[810442,810442,810443,810443,829840,829840,829840,829840],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"sexplib","packageid":49507},{"block":false,"categoryid":428,"description":"Make replacement","ebuildids":[731428,731428,858765,858765],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"omake","packageid":49747},{"block":false,"categoryid":314,"description":"Modules for OCaml application-level Internet protocols","ebuildids":[857090,857090,857090,857091,857091,857091],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocamlnet","packageid":49819},{"block":false,"categoryid":314,"description":"OCaml interface to the libcurl library","ebuildids":[689778,689778,689778,845648],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocurl","packageid":50308},{"block":false,"categoryid":314,"description":"Camomile is a comprehensive Unicode library for ocaml","ebuildids":[689545,689545,784448,784448],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camomile","packageid":50959},{"block":false,"categoryid":314,"description":"Folding over record fields","ebuildids":[738071,738071,791951,791951,791951,791951,865669,865669,865669,865669],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"fieldslib","packageid":51080,"summary":"This library defines a syntax extension for OCaml using Camlp4 that can be used to define first class values representing record fields, and additional routines, to get and set record fields, iterate and fold over all fields of a record and create new record values."},{"block":false,"categoryid":314,"description":"Standard library extensions for O'Caml","ebuildids":[841412,857686,857686,857686],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"extlib","packageid":51121},{"block":false,"categoryid":314,"description":"OCaml tool to find\/use non-standard packages","ebuildids":[782850,782850,845069,845069,857233,857233],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288},{"block":false,"categoryid":377,"description":"HeVeA is a quite complete and fast LaTeX to HTML translator","ebuildids":[711991,711991,818979,818979],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"tex@gentoo.org","maintainername":"Gentoo TeX Project","name":"hevea","packageid":51310},{"block":false,"categoryid":422,"description":"Genealogy software program with a Web interface","ebuildids":[857277,857277,861237,861237],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"tupone@gentoo.org","maintainername":"Tupone Alfredo","name":"geneweb","packageid":52092,"summary":"GeneWeb is a genealogy software program with a Web interface. It can be used off-line or in a Web environment. It uses very efficient techniques of relationship and consanguinity computing, developed in collaboration with Didier Rémy, research Director at INRIA."},{"block":false,"categoryid":377,"description":"A bibtex to HTML converter","ebuildids":[664071],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"tex@gentoo.org","maintainername":"Gentoo TeX Project","name":"bibtex2html","packageid":52279},{"block":false,"categoryid":314,"description":"O'Caml Graph library","ebuildids":[704564,704564,831395,831395],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocamlgraph","packageid":52838},{"block":false,"categoryid":427,"description":"A fullscreen RPN calculator for the console","ebuildids":[743782,743782],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"orpie","packageid":54307,"summary":"Orpie is a fullscreen RPN calculator for the console. Its operation is similar to that of modern HP calculators, but data entry has been optimized for efficiency on a PC keyboard."},{"block":false,"categoryid":314,"description":"SQLite3 bindings for OCaml","ebuildids":[698211,698211],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml-sqlite3","packageid":54802},{"block":false,"categoryid":314,"description":"OCaml module for functional reactive programming","ebuildids":[689294,689294,762446,762446],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"react","packageid":54960,"summary":"React is an OCaml module for functional reactive programming (FRP). It provides support to program with time varying values : applicative events and signals. React doesn't define any primitive event or signal, this lets the client chooses the concrete timeline. React is made of a single, independent, module and distributed under the new BSD license. Given an absolute notion of time Rtime helps you to manage a timeline and provides time stamp events, delayed events and delayed signals."},{"block":false,"categoryid":391,"description":"generator of sandwich OCR pdf files","ebuildids":[857323],"firstseen":"2010-10-24T14:34:06.297915","maintainer":"tomka@gentoo.org","name":"pdfsandwich","packageid":56418,"summary":"pdfsandwich generates \"sandwich\" OCR pdf files, i.e. pdf files which contain only images (no text) will be processed by optical character recognition (OCR) and the text will be added to each page invisibly \"behind\" the images. pdfsandwich is a command line tool which is supposed to be useful to OCR scanned books or journals. It is able to recognize the page layout even for multicolumn text. Essentially, pdfsandwich is a wrapper script which calls the following binaries: unpaper, convert, gs, and tesseract. It supports parallel processing on multiprocessor systems."},{"block":false,"categoryid":314,"description":"Pure OCaml functions to manipulate real file (POSIX like) and filename","ebuildids":[753745,753745,770948,770948,857672,857672],"firstseen":"2011-03-16T14:39:07.204582","maintainer":"v.ivanov@ymail.com","maintainername":"Vladimir Ivanov","name":"ocaml-fileutils","packageid":57106,"summary":"POSIX-like file manipulation functions inspired by GNU coreutils and filename manipulation functions for OCaml."},{"block":false,"categoryid":422,"description":"Library for reading and writing Windows Registry 'hive' binary files","ebuildids":[866497,866497],"firstseen":"2011-09-07T14:35:00.069127","maintainer":"andreis.vinogradovs@gmail.com","maintainername":"Andreis Vinogradovs","name":"hivex","packageid":57910},{"block":false,"categoryid":314,"description":"Minimal Xml parser and printer for OCaml","ebuildids":[830522,830522],"firstseen":"2011-12-12T14:35:50.722309","maintainer":"andreis.vinogradovs@gmail.com","maintainername":"Maxim Koltsov","name":"xml-light","packageid":58298},{"block":false,"categoryid":321,"description":"Tools for accessing, inspecting, and modifying virtual machine (VM) disk images","ebuildids":[857430,857430,857430,862258,864844],"firstseen":"2011-12-12T14:35:50.722309","maintainer":"andreis.vinogradovs@gmail.com","maintainername":"Andreis Vinogradovs","name":"libguestfs","packageid":58299},{"block":false,"categoryid":451,"description":"An OpenPGP keyserver which is decentralized with highly reliable synchronization","ebuildids":[820596,820596,866884,866884],"firstseen":"2012-02-07T14:35:48.061692","maintainer":"k_f@gentoo.org","maintainername":"Kristian Fiskerstrand","name":"sks","packageid":58830},{"block":false,"categoryid":314,"description":"OCaml variants as first class values","ebuildids":[748002,748002,791907,791907,791907,791907,865326,865326,865326,865326],"firstseen":"2012-07-01T14:37:09.168931","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"variantslib","packageid":59539},{"block":false,"categoryid":314,"description":"Provides support for internationalization of OCaml program","ebuildids":[714071,714071,714071,714071,714071,857060,857060,857060,857060,857673,857673,857673,857673],"firstseen":"2012-07-05T14:45:29.417252","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml-gettext","packageid":59553},{"block":false,"categoryid":314,"description":"Ocaml library to handle dates and time","ebuildids":[857058,857058,857058],"firstseen":"2012-08-03T14:36:49.835984","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"calendar","packageid":59654},{"block":false,"categoryid":314,"description":"OCaml binding to the NDBM\/GDBM Unix databases","ebuildids":[857066,857066],"firstseen":"2012-08-08T14:37:29.613605","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camldbm","packageid":59680},{"block":false,"categoryid":450,"description":"Higher-order logic programming language Lambda Prolog","ebuildids":[756524,756524],"firstseen":"2012-12-10T14:36:29.392811","maintainer":"gienah@gentoo.org","maintainername":"Mark Wright","name":"teyjus","packageid":60116,"summary":"The Teyjus system is an efficient implementation of the higher-order logic programming language Lambda Prolog. The main strength of Lambda Prolog, a language developed by Dale Miller and Gopalan Nadathur, is the support it offers for what is known as lambda tree syntax, a new and effective way to view the structure of complex syntactic objects such as types, formulas, proofs and programs. Lambda Prolog provides this support by using lambda terms as data representation devices and by including primitives for probing such terms in logically meaningful ways. The new features present in the language raise several implementation challenges that have been addressed in collaborative work between Nadathur and his students and colleagues. The name \"Teyjus\" actually stands both for a project and for a class of compiler and virtual machine based realizations of Lambda Prolog arising from the research carried out within this project. Underlying the most recent version of the Teyjus system is a new and significantly improved virtual machine that has been designed by Xiaochu Qi as part of her doctoral dissertation work at the University of Minnesota. This virtual machine extensively exploits a special form of higher-order unification known as pattern unification."},{"block":false,"categoryid":314,"description":"LR(1) parser generator for the OCaml language","ebuildids":[796934,796934,831201,831201,838109,838109],"firstseen":"2013-02-08T14:36:53.188287","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"menhir","packageid":60329},{"block":false,"categoryid":314,"description":"Jane Street Capital's asynchronous execution library","ebuildids":[748233,748233,792820,792820,792820,792820,830021,830021,830021,830021],"firstseen":"2013-03-07T14:35:53.907824","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"async","packageid":60461},{"block":false,"categoryid":314,"description":"Jane Street Capital's asynchronous execution library (extra)","ebuildids":[748234,748234],"firstseen":"2013-03-07T14:35:53.907824","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"async_extra","packageid":60463},{"block":false,"categoryid":314,"description":"Jane Street Capital's asynchronous execution library (unix)","ebuildids":[748230,748230,792823,792823,792823,792823,830025,830025,830025,830025],"firstseen":"2013-03-07T14:35:53.907824","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"async_unix","packageid":60464},{"block":false,"categoryid":314,"description":"System-independent part of Core","ebuildids":[748094,748094,792012,792012,792012,792012,865667,865667,865667,865667],"firstseen":"2013-06-11T13:36:25.960039","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"core_kernel","packageid":60837,"summary":"Core_kernel is the system-independent part of Core. It is aimed for cases when the full Core is not available, such as in Javascript. It provides an overlay on the usual namespace, so the best way to use Core is to start your file with: open Core_kernel.Std"},{"block":false,"categoryid":314,"description":"Text output utilities","ebuildids":[748164,748164,792826,792826,792826,792826,830039,830039,830039,830039],"firstseen":"2013-06-11T13:36:25.960039","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"textutils","packageid":60838},{"block":false,"categoryid":314,"description":"An equivalent of the C preprocessor for OCaml programs","ebuildids":[779190,779190,779191,779191,779192,779192,841411,841411,857671,857671],"firstseen":"2013-07-24T13:36:40.606049","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"cppo","packageid":61040},{"block":false,"categoryid":314,"description":"Library for creating runtime representation of OCaml types","ebuildids":[857084,857084,857085,857085,865327,865327,865327,865327],"firstseen":"2014-01-19T14:38:18.764492","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"typerep","packageid":61843},{"block":false,"categoryid":314,"description":"Jane Street Capital's asynchronous execution library (core)","ebuildids":[748167,748167,792821,792821,792821,792821,830022,830022,830022,830022],"firstseen":"2014-01-20T14:37:16.019176","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"async_kernel","packageid":61846},{"block":false,"categoryid":314,"description":"Library to parse, pretty print, and evaluate CUDF documents","ebuildids":[832257,832257],"firstseen":"2014-10-24T13:37:02.106838","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"cudf","packageid":62716},{"block":false,"categoryid":314,"description":"OCaml bindings for libbz (AKA, bzip2)","ebuildids":[830553,830553],"firstseen":"2014-10-27T14:38:47.993424","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camlbz2","packageid":62729},{"block":false,"categoryid":314,"description":"Library to exploit multicore architectures for OCaml programs","ebuildids":[772297,772297,772297,772297],"firstseen":"2014-10-27T14:38:47.993424","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"parmap","packageid":62730},{"block":false,"categoryid":314,"description":"Library to perform analysis on package repositories","ebuildids":[832979,832979],"firstseen":"2014-10-28T14:38:24.907655","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"dose3","packageid":62736},{"block":false,"categoryid":314,"description":"Declarative definition of command line interfaces for OCaml","ebuildids":[746881,746881,746881,794287,794287,794287,830652,830652,830652],"firstseen":"2014-10-29T14:38:07.804099","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"cmdliner","packageid":62739},{"block":false,"categoryid":314,"description":"Non-blocking streaming JSON codec for OCaml","ebuildids":[845463,845463,845463],"firstseen":"2014-10-29T14:38:07.804099","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"jsonm","packageid":62740},{"block":false,"categoryid":314,"description":"A source-based package manager for OCaml","ebuildids":[833255,833255,846016,846016],"firstseen":"2014-10-29T14:38:07.804099","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"opam","packageid":62741},{"block":false,"categoryid":314,"description":"Non-blocking streaming Unicode codec for OCaml","ebuildids":[17879,17879,17879,717240,717240,717240,742285,742285,742285],"firstseen":"2014-10-29T14:38:07.804099","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"uutf","packageid":62742},{"block":false,"categoryid":314,"description":"System for writing extensible parsers for programming languages","ebuildids":[782089,782089,782090,782090,782091,782091,782092,782092,782093,782093,782095,782095,858913,858913],"firstseen":"2014-11-29T14:39:27.777863","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camlp4","packageid":62840},{"block":false,"categoryid":314,"description":"OCaml interface to the Tcl\/Tk GUI framework","ebuildids":[777688,777688,777688,777688,777688,858912,858912,858912],"firstseen":"2014-11-29T14:39:27.777863","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"labltk","packageid":62841},{"block":false,"categoryid":314,"description":"Functional reactive programming with incremental changes in data structures","ebuildids":[8784,8784],"firstseen":"2014-12-01T14:36:06.124805","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"reactiveData","packageid":62853},{"block":false,"categoryid":314,"description":"OCaml library for reading, writing, and modifying PDF files","ebuildids":[836516,836516,836516],"firstseen":"2014-12-08T14:38:53.334934","maintainer":"radhermit@gentoo.org","maintainername":"Tim Harder","name":"camlpdf","packageid":62876},{"block":false,"categoryid":391,"description":"A command line tool for manipulating PDF files","ebuildids":[836514,836514,836514],"firstseen":"2014-12-08T14:38:53.334934","maintainer":"radhermit@gentoo.org","maintainername":"Tim Harder","name":"cpdf","packageid":62879},{"block":false,"categoryid":314,"description":"A binary data serialization format inspired by JSON for OCaml","ebuildids":[761154,761154,761154,761154],"firstseen":"2015-02-15T14:38:09.385452","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"biniou","packageid":63074},{"block":false,"categoryid":314,"description":"Pretty-printing library for OCaml","ebuildids":[845925,845925,857684,857684,857684],"firstseen":"2015-02-15T14:38:09.385452","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"easy-format","packageid":63075},{"block":false,"categoryid":314,"description":"JSON parsing and pretty-printing library for OCaml","ebuildids":[841088,841088,870337,870337],"firstseen":"2015-02-15T14:38:09.385452","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"yojson","packageid":63076},{"block":false,"categoryid":314,"description":"Library for binding to C libraries using pure OCaml","ebuildids":[841560,841560,841560,841560],"firstseen":"2015-03-17T14:50:50.788822","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml-ctypes","packageid":63228},{"block":false,"categoryid":314,"description":"Platform-independent core of Async RPC library","ebuildids":[748228,748228,792822,792822,792822,792822,830024,830024,830024,830024],"firstseen":"2015-07-14T13:37:21.511799","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"async_rpc_kernel","packageid":63858},{"block":false,"categoryid":314,"description":"Library for radix-64 representation (de)coding","ebuildids":[703007,703007,798341,798341],"firstseen":"2015-07-27T13:38:06.990890","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml-base64","packageid":63896},{"block":false,"categoryid":314,"description":"Arithmetic and logic operations over arbitrary-precision integers","ebuildids":[832970,832970,832970],"firstseen":"2015-09-20T13:38:44.780852","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"zarith","packageid":64116},{"block":false,"categoryid":314,"description":"Functions to read and write int16\/32\/64 from strings, bytes, and bigarrays","ebuildids":[689550,689550,738289,738289],"firstseen":"2015-10-17T13:39:14.248532","maintainer":"tomboy64@sina.cn","maintainername":"M.B.","name":"ocplib-endian","packageid":64530},{"block":false,"categoryid":314,"description":"Tools for authors of ppx rewriters","ebuildids":[689288,689288,714211,714211,726019,726019,857031,857031,857031,857032,857032,857032],"firstseen":"2016-01-31T14:41:46.367807","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_tools","packageid":64933},{"block":false,"categoryid":314,"description":"Assert-like extension nodes that raise useful errors on failure","ebuildids":[776255,776255,791850,791850,791850,791850,865559,865559,865559,865559],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_assert","packageid":64947},{"block":false,"categoryid":314,"description":"Syntax extension for writing in-line benchmarks in ocaml code","ebuildids":[777525,777525,791852,791852,791852,791852,870189,870189,870189,870189,870190,870190,870190,870190],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_bench","packageid":64948},{"block":false,"categoryid":314,"description":"Generation of bin_prot readers and writers from types","ebuildids":[777526,777526,791978,791978,791978,791978,870193,870193,870193,870193,870200,870200,870200,870200],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_bin_prot","packageid":64949},{"block":false,"categoryid":314,"description":"Generation of comparison functions from types","ebuildids":[747876,747876,791854,791854,791854,791854,865562,865562,865562,865562],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_compare","packageid":64950},{"block":false,"categoryid":314,"description":"Printf-style format-strings for user-defined string conversion","ebuildids":[777562,777562,791979,791979,791979,791979,865563,865563,865563,865563],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_custom_printf","packageid":64952},{"block":false,"categoryid":314,"description":"Type-driven code generation for OCaml","ebuildids":[810427,810427,869972,869972,869973,869973],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_deriving","packageid":64953},{"block":false,"categoryid":314,"description":"Generate a list containing all values of a finite type","ebuildids":[747877,747877,791855,791855,791855,791855,865566,865566,865566,865566],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_enumerate","packageid":64955},{"block":false,"categoryid":314,"description":"Cram like framework for OCaml","ebuildids":[747960,747960,776269,776269,791880,791880,870196,870196,870196,870196,870197,870197,870197,870197],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_expect","packageid":64956},{"block":false,"categoryid":314,"description":"Generation of accessor and iteration functions for ocaml records","ebuildids":[747885,747885,791952,791952,791952,791952,865568,865568,865568,865568],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_fields_conv","packageid":64958},{"block":false,"categoryid":314,"description":"Expands [%here] into its location","ebuildids":[747886,747886,791858,791858,791858,791858,865572,865572,865572,865572],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_here","packageid":64959},{"block":false,"categoryid":314,"description":"Syntax extension for writing in-line tests in ocaml code","ebuildids":[776270,776270,777449,777449,791859,791859,791859,791859,870191,870191,870191,870191,870192,870192,870192,870192],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_inline_test","packageid":64960},{"block":false,"categoryid":314,"description":"Standard Jane Street ppx rewriters","ebuildids":[748004,748004,794351,794351,829926,829926,829926,829926],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_jane","packageid":64961},{"block":false,"categoryid":314,"description":"Monadic let-bindings","ebuildids":[747887,747887,791881,791881,869763,869763,869763,869763,869764,869764,869764,869764],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_let","packageid":64962},{"block":false,"categoryid":314,"description":"Optional compilation for OCaml","ebuildids":[747895,747895,791860,791860,870181,870181,870181,870181,870182,870182,870182,870182],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_optcomp","packageid":64963},{"block":false,"categoryid":314,"description":"A ppx rewriter that inlines reverse application operators |> and |!","ebuildids":[765705,765705,765705,765705,791903,791903,791903,791903,829929,829929,829929,829929],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_pipebang","packageid":64964},{"block":false,"categoryid":314,"description":"Support Library for type-driven code generators","ebuildids":[810439,810439,869765,869765,869765,869765,869766,869766,869766,869766,870048,870048,870048,870048],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_sexp_conv","packageid":64965},{"block":false,"categoryid":314,"description":"A ppx rewriter for easy construction of s-expressions","ebuildids":[777527,777527,791862,791862,791862,791862,865580,865580,865580,865580],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_sexp_message","packageid":64966},{"block":false,"categoryid":314,"description":"Standard library for ppx rewriters","ebuildids":[777569,777569,791904,791904,791904,791904,865525,865525,865525,865525],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_sexp_value","packageid":64967},{"block":false,"categoryid":314,"description":"Generation of runtime types from type declarations","ebuildids":[747993,747993,791905,791905,791905,791905,870187,870187,870187,870187,870188,870188,870188,870188],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_typerep_conv","packageid":64969},{"block":false,"categoryid":314,"description":"Generation of accessor and iteration functions for ocaml variant types","ebuildids":[748001,748001,791906,791906,791906,791906,870044,870044,870044,870044,870045,870045,870045,870045],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_variants_conv","packageid":64970},{"block":false,"categoryid":314,"description":"OCaml bindings for the GSL library (successor of dev-ml\/ocamlgsl)","ebuildids":[857070,857070,858425,858425],"firstseen":"2016-02-15T14:41:07.074660","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"gsl-ocaml","packageid":65016},{"block":false,"categoryid":314,"description":"Generic build tool with built-in rules for building OCaml library and programs","ebuildids":[832537,832537,866851,866851],"firstseen":"2016-03-02T14:42:41.922071","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocamlbuild","packageid":65077},{"block":false,"categoryid":314,"description":"OCaml hash-consing library","ebuildids":[31773,31773],"firstseen":"2016-03-14T14:36:43.979227","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml-hashcons","packageid":65136},{"block":false,"categoryid":314,"description":"Compat result type","ebuildids":[689295,689295],"firstseen":"2016-03-22T14:39:52.391887","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"result","packageid":65197},{"block":false,"categoryid":314,"description":"Error-recovering streaming HTML5 and XML parsers","ebuildids":[775637,775637],"firstseen":"2016-05-24T13:40:34.417370","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"markup","packageid":65464},{"block":false,"categoryid":314,"description":"Uchar compatibility library","ebuildids":[773483,773483,773483],"firstseen":"2016-09-07T13:36:48.887906","name":"uchar","packageid":65784},{"block":false,"categoryid":314,"description":"The transitory OCaml software packager","ebuildids":[689302,689302,738441,738441,772298,772298,775767,775767],"firstseen":"2016-11-29T14:35:54.047728","name":"topkg","packageid":66197},{"block":false,"categoryid":314,"description":"A lightweight and colourful test framework","ebuildids":[832807,832807,833994,833994,860451,860451],"firstseen":"2017-02-23T14:36:19.073700","name":"alcotest","packageid":66561},{"block":false,"categoryid":314,"description":"Combinators to devise OCaml Format pretty-printing functions","ebuildids":[729033,729033,729033,729033,729033,866396,866396,866396,866396,866396],"firstseen":"2017-02-23T14:36:19.073700","name":"fmt","packageid":66562},{"block":false,"categoryid":314,"description":"OCaml module to access monotonic wall-clock time","ebuildids":[718647,718647,718647,718647,757162,757162,757162,757162,787393,787393,787393,787393,841632,841632,841632,841632],"firstseen":"2017-02-23T14:36:19.073700","name":"mtime","packageid":66563},{"block":false,"categoryid":314,"description":"Logging infrastructure for OCaml","ebuildids":[732801,732801,732801,866432,866432,866432],"firstseen":"2017-02-23T14:36:19.073700","name":"logs","packageid":66565},{"block":false,"categoryid":314,"description":"Alternative String module for OCaml","ebuildids":[689612,689612,689612],"firstseen":"2017-02-23T14:36:19.073700","name":"astring","packageid":66566},{"block":false,"categoryid":314,"description":"SDK to extend Merlin","ebuildids":[732597,732597,732597,732597,772291,772291,772291,772291,845008,845008,845008,845008],"firstseen":"2017-02-24T14:36:28.091894","name":"merlin-extend","packageid":66570},{"block":false,"categoryid":314,"description":"Convert OCaml parsetrees between different major versions","ebuildids":[697391,697391,717764,717764,738288,738288,777913,777913,777913,777913,841781,841781,841781],"firstseen":"2017-04-01T13:36:38.375057","name":"ocaml-migrate-parsetree","packageid":66704},{"block":false,"categoryid":314,"description":"Standard IO Library for OCaml","ebuildids":[747883,747883,791864,791864,791864,791864,865359,865359,865359,865359],"firstseen":"2017-04-02T13:36:30.774148","name":"stdio","packageid":66714},{"block":false,"categoryid":314,"description":"Jane Street header files","ebuildids":[747892,747892,791848,791848,791848,791848,829517,829517,829517,829517],"firstseen":"2017-04-02T13:36:30.774148","name":"jane-street-headers","packageid":66715},{"block":false,"categoryid":314,"description":"PPX rewriter that generates hash functions from type expressions and definitions","ebuildids":[777519,777519,791857,791857,865571,865571,865571,865571],"firstseen":"2017-04-02T13:36:30.774148","name":"ppx_hash","packageid":66716},{"block":false,"categoryid":314,"description":"Code style checker for Jane Street Packages","ebuildids":[748041,748041,794404,794404,794404,794404,869687,869687,869687,869687],"firstseen":"2017-04-02T13:36:30.774148","name":"ppx_js_style","packageid":66719},{"block":false,"categoryid":314,"description":"Pattern matching on flat options","ebuildids":[747986,747986,791902,791902,791902,791902,865578,865578,865578,865578],"firstseen":"2017-04-02T13:36:30.774148","name":"ppx_optional","packageid":66720},{"block":false,"categoryid":314,"description":"ocamldoc comment syntax parser","ebuildids":[689245,689245],"firstseen":"2017-04-02T13:36:30.774148","name":"octavius","packageid":66725},{"block":false,"categoryid":314,"description":"Standard library for OCaml","ebuildids":[810425,810425,810425,810425,810426,810426,810426,810426,865324,865324,865324,865324,870384,870384,870384,870384],"firstseen":"2017-04-02T13:36:30.774148","name":"base","packageid":66726},{"block":false,"categoryid":314,"description":"Base set of ppx rewriters","ebuildids":[747884,747884,794350,794350,794350,794350,829234,829234,829234,829234],"firstseen":"2017-04-02T13:36:30.774148","name":"ppx_base","packageid":66727},{"block":false,"categoryid":314,"description":"Repackage the OCaml compiler libs so they do not expose everything at toplevel","ebuildids":[829194,829194,857028,857028,857028,857029,857029,857029],"firstseen":"2017-04-02T13:36:30.774148","name":"ocaml-compiler-libs","packageid":66729},{"block":false,"categoryid":314,"description":"Spawning sub-processes","ebuildids":[698176,698176,748139,748139,762758,762758,845101,845101],"firstseen":"2017-04-02T13:36:30.774148","name":"spawn","packageid":66732},{"block":false,"categoryid":314,"description":"GLib integration for Lwt","ebuildids":[704923,704923,798340,798340],"firstseen":"2017-04-12T22:18:01.655180","name":"lwt_ssl","packageid":66758},{"block":false,"categoryid":314,"description":"Various signed and unsigned integer types for OCaml","ebuildids":[756616,756616],"firstseen":"2017-05-24T11:26:07.915700","name":"integers","packageid":66863},{"block":false,"categoryid":314,"description":"Basic OS interaction for OCaml","ebuildids":[729323,729323],"firstseen":"2017-06-20T22:03:28.894645","name":"bos","packageid":67813},{"block":false,"categoryid":314,"description":"File system paths for OCaml","ebuildids":[719739,719739],"firstseen":"2017-06-20T22:03:28.894645","name":"fpath","packageid":67814},{"block":false,"categoryid":314,"description":"Result value combinators for OCaml","ebuildids":[719740,719740,729032,729032,729032,729032],"firstseen":"2017-06-20T22:03:28.894645","name":"rresult","packageid":67815},{"block":false,"categoryid":314,"description":"Tool and library implementing patience diff","ebuildids":[748238,748238,831406,831406,831406,831406,865717,865717,865717,865717],"firstseen":"2017-06-22T14:53:45.372004","name":"patience_diff","packageid":67819},{"block":false,"categoryid":428,"description":"Colored patience diffs with word-level refinement","ebuildids":[748241,748241,857701,857701],"firstseen":"2017-06-22T14:53:45.372004","name":"patdiff","packageid":67820},{"block":false,"categoryid":314,"description":"Shared [@@deriving] plugin registry","ebuildids":[689264,689264],"firstseen":"2017-08-24T09:08:16.300816","name":"ppx_derivers","packageid":67974},{"block":false,"categoryid":428,"description":"The Herd toolsuite to deal with .cat memory models","ebuildids":[628980,628980,628980],"firstseen":"2017-09-15T18:15:37.090434","name":"herdtools7","packageid":68031},{"block":false,"categoryid":314,"description":"A library implementing a simplex algorithm","ebuildids":[798342,832540,832540],"firstseen":"2017-10-12T18:48:54.473910","name":"ocplib-simplex","packageid":68076,"summary":"A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities"},{"block":false,"categoryid":317,"description":"Automatic theorem prover","ebuildids":[833224,833224,833224,833224],"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":[742645,742645,742645,853673,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":"A composable build system for OCaml","ebuildids":[843034,843034,857379,857379,860964,860964,870859,870859],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":317,"description":"Library to parse and type-check an extension of the SMT-LIB 2 standard","ebuildids":[734807,734807],"firstseen":"2019-07-26T07:18:04.713000","name":"psmt2-frontend","packageid":69972,"summary":"psmt2-frontend is an OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism."},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[831310],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"O'Caml literate programming tool","ebuildids":[857093,857093],"firstseen":"2020-01-20T11:12:40.793806","name":"ocamlweb","packageid":70639},{"block":false,"categoryid":314,"description":"A preprocessor-pretty-printer of ocaml","ebuildids":[841375,870762],"firstseen":"2020-05-13T14:37:21.796389","name":"camlp5","packageid":71135},{"block":false,"categoryid":314,"description":"Compatibility package for the standard OCaml iterator type","ebuildids":[702908,702908,717376,717376,783846,783846,783846,783847,783847,783847],"firstseen":"2020-06-13T20:51:32.484143","name":"seq","packageid":71224},{"block":false,"categoryid":314,"description":"Pure OCaml library that allows replacing Pervasives with Stdlib before 4.08","ebuildids":[678314,678314,702808,702808],"firstseen":"2020-06-24T11:44:15.510889","name":"stdlib-shims","packageid":71241,"summary":"Compatibility library for OCaml compilers before 4.08 to allow calling Pervasives module functions on Stdlib, which is the API in newer compilers. Does not add newer Stdlib functions."},{"block":false,"categoryid":314,"description":"Randomized testing framework, designed for compatibility with Base","ebuildids":[791950,791950,791950,791950,828764,828764,869759,869759,869759,869759,869760,869760,869760,869760],"firstseen":"2020-10-13T14:25:05.132759","name":"base_quickcheck","packageid":72091},{"block":false,"categoryid":314,"description":"Binary protocol generator","ebuildids":[791973,791973,791973,791973,828763,828763,865713,865713,865713,865713],"firstseen":"2020-10-13T14:25:05.132759","name":"bin_prot","packageid":72092},{"block":false,"categoryid":314,"description":"Binding to Cairo, a 2D Vector Graphics Library","ebuildids":[776122,776122,844946,844946],"firstseen":"2020-10-13T14:25:05.132759","name":"cairo2","packageid":72093},{"block":false,"categoryid":314,"description":"Trivial metaprogramming tool","ebuildids":[860265,860265],"firstseen":"2020-10-13T14:25:05.132759","name":"cinaps","packageid":72094},{"block":false,"categoryid":314,"description":"Parsing and printing of S-expressions in Canonical form","ebuildids":[828346,828346],"firstseen":"2020-10-13T14:25:05.132759","name":"csexp","packageid":72095},{"block":false,"categoryid":314,"description":"Helper library for gathering system configuration","ebuildids":[839560,839560,844948,844948,848605,848605,861008,861008,870861,870861],"firstseen":"2020-10-13T14:25:05.132759","name":"dune-configurator","packageid":72096},{"block":false,"categoryid":314,"description":"Private libraries of Dune","ebuildids":[839561,839561,861009,861009,866294,866294],"firstseen":"2020-10-13T14:25:05.132759","name":"dune-private-libs","packageid":72097},{"block":false,"categoryid":314,"description":"Compile-time configuration for Jane Street libraries","ebuildids":[747893,747893,776254,776254,791849,791849,791849,791849,865558,865558,865558,865558],"firstseen":"2020-10-13T14:25:05.132759","name":"jst-config","packageid":72098},{"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":314,"description":"Multi Criteria CUDF Solver","ebuildids":[848809,848809,866850,866850],"firstseen":"2020-10-13T14:25:05.132759","name":"mccs","packageid":72100},{"block":false,"categoryid":314,"description":"File mapping","ebuildids":[772332,772332],"firstseen":"2020-10-13T14:25:05.132759","name":"mmap","packageid":72101},{"block":false,"categoryid":314,"description":"Parser and printer for the opam file syntax","ebuildids":[718416,718416,779887,779887,788179,788179],"firstseen":"2020-10-13T14:25:05.132759","name":"opam-file-format","packageid":72104},{"block":false,"categoryid":314,"description":"Core installer for opam packages","ebuildids":[833256,833256,845573,845573],"firstseen":"2020-10-13T14:25:05.132759","name":"opam-installer","packageid":72106},{"block":false,"categoryid":314,"description":"Unit testing framework for OCaml","ebuildids":[742284,742284,828485,828485],"firstseen":"2020-10-13T14:25:05.132759","name":"ounit2","packageid":72110},{"block":false,"categoryid":314,"description":"S-expression parsing library","ebuildids":[747834,747834,791879,791879,829836,829836,829836,829836],"firstseen":"2020-10-13T14:25:05.132759","name":"parsexp","packageid":72111},{"block":false,"categoryid":314,"description":"Expands [@cold] into [@inline never][@specialise never][@local never]","ebuildids":[747875,747875,791853,791853,791853,791853,865561,865561,865561,865561],"firstseen":"2020-10-13T14:25:05.132759","name":"ppx_cold","packageid":72112},{"block":false,"categoryid":314,"description":"Simpler notation for fixed point literals","ebuildids":[747961,747961,791981,791981,865569,865569,865569,865569],"firstseen":"2020-10-13T14:25:05.132759","name":"ppx_fixed_literal","packageid":72113},{"block":false,"categoryid":314,"description":"Ppx rewriter that records top-level module startup times","ebuildids":[777568,777568,791984,791984,791984,791984,865576,865576,865576,865576],"firstseen":"2020-10-13T14:25:05.132759","name":"ppx_module_timer","packageid":72114},{"block":false,"categoryid":314,"description":"Stable types conversions generator","ebuildids":[747990,747990,791985,791985,791985,791985,870183,870183,870183,870183,870184,870184,870184,870184],"firstseen":"2020-10-13T14:25:05.132759","name":"ppx_stable","packageid":72115},{"block":false,"categoryid":314,"description":"Ppx extension for string interpolation","ebuildids":[777570,777570,791987,791987,791987,791987,865528,865528,865528,865528],"firstseen":"2020-10-13T14:25:05.132759","name":"ppx_string","packageid":72116},{"block":false,"categoryid":314,"description":"Base library and tools for ppx rewriters","ebuildids":[841366,841366,841366,841366,841367,841367,841367,841367,841370,841370,841370,841370,865400,865400,865400,865400,869616,869616,869616,869616],"firstseen":"2020-10-13T14:25:05.132759","name":"ppxlib","packageid":72118},{"block":false,"categoryid":314,"description":"Regular expression library for OCaml","ebuildids":[810264,810264,810264,810264,841788,841788,841788,841788,860110,860110,860110,860110,860111,860111,860111,860111],"firstseen":"2020-10-13T14:25:05.132759","name":"re","packageid":72119},{"block":false,"categoryid":314,"description":"Library for automated conversion of OCaml-values to and from S-expressions","ebuildids":[776618,776618,776619,776619,790712,790712,829111,829111],"firstseen":"2020-10-13T14:25:05.132759","name":"sexplib0","packageid":72120},{"block":false,"categoryid":314,"description":"PRNG that can be split into independent streams","ebuildids":[747902,747902,791863,791863,791863,791863,865358,865358,865358,865358],"firstseen":"2020-10-13T14:25:05.132759","name":"splittable_random","packageid":72121},{"block":false,"categoryid":314,"description":"Reports the current time","ebuildids":[747896,747896,791865,791865,791865,791865,865360,865360,865360,865360],"firstseen":"2020-10-13T14:25:05.132759","name":"time_now","packageid":72122},{"block":false,"categoryid":314,"description":"Unicode character properties for OCaml","ebuildids":[775147,775147,800580,800580,841847,841847],"firstseen":"2021-01-10T13:15:00.055375","name":"uucp","packageid":72362},{"block":false,"categoryid":314,"description":"OCaml template engine almost compatible with Jinja2","ebuildids":[832533,832533],"firstseen":"2021-01-10T17:35:59.190559","name":"jingoo","packageid":72363},{"block":false,"categoryid":314,"description":"Unicode text normalization","ebuildids":[775148,775148,828567,828567,841850,841850],"firstseen":"2021-01-10T17:35:59.190559","name":"uunf","packageid":72364},{"block":false,"categoryid":314,"description":"Convert dates between gregorian\/julian\/french\/hebrew calendars","ebuildids":[697007,697007],"firstseen":"2021-01-10T18:16:08.435528","name":"calendars","packageid":72365},{"block":false,"categoryid":314,"description":"Convert unicode strings into its ASCII representation","ebuildids":[697008,697008],"firstseen":"2021-01-10T18:16:08.435528","name":"unidecode","packageid":72366},{"block":false,"categoryid":314,"description":"Support for internationalization of OCaml programs using the Camomile library","ebuildids":[784524,784524],"firstseen":"2021-01-22T04:45:16.934585","name":"ocaml-gettext-camomile","packageid":72411},{"block":false,"categoryid":314,"description":"Support for internationalization of OCaml programs using native gettext library","ebuildids":[784587,784587,857674,857674,857674,857674],"firstseen":"2021-01-22T04:45:16.934585","name":"ocaml-gettext-stub","packageid":72412},{"block":false,"categoryid":314,"description":"String type based on Bigarray, for use in I\/O and C-bindings","ebuildids":[776264,776264,791972,791972,791972,791972,865711,865711,865711,865711],"firstseen":"2021-01-24T17:42:06.236079","name":"base_bigstring","packageid":72432},{"block":false,"categoryid":314,"description":"Micro-benchmarking library for OCaml","ebuildids":[748237,748237,794348,794348,794348,794348,861073,861073,861073,861073],"firstseen":"2021-01-24T17:42:06.236079","name":"core_bench","packageid":72433},{"block":false,"categoryid":314,"description":"Time-zone handling for OCaml","ebuildids":[748124,748124,793831,793831,793831,793831,830040,830040,830040,830040],"firstseen":"2021-01-24T17:42:06.236079","name":"timezone","packageid":72434},{"block":false,"categoryid":314,"description":"Protocol aware version negotiation for OCaml","ebuildids":[748229,748229,792825,792825,792825,792825,830037,830037,830037,830037],"firstseen":"2021-01-27T10:40:08.833550","name":"protocol_version_header","packageid":72443},{"block":false,"categoryid":314,"description":"The OCaml graphics library","ebuildids":[719110,719110,719110,719110],"firstseen":"2021-02-06T00:50:03.620856","name":"graphics","packageid":72456},{"block":false,"categoryid":314,"description":"Duration - conversions to various time units","ebuildids":[703005,703005,861011,861011],"firstseen":"2021-02-10T00:33:18.350742","name":"duration","packageid":72462},{"block":false,"categoryid":314,"description":"Portable clock implementation for Unix and Xen","ebuildids":[703006,703006,773268,773268],"firstseen":"2021-02-10T00:33:18.350742","name":"mirage-clock","packageid":72463},{"block":false,"categoryid":314,"description":"Universally unique identifiers (UUIDs) for OCaml","ebuildids":[703010,703010,762447,762447,841848,841848],"firstseen":"2021-02-10T00:33:18.350742","name":"uuidm","packageid":72464},{"block":false,"categoryid":314,"description":"Compatibility library to use Stdlib.Bigarray when possible","ebuildids":[704985,704985,738287,738287],"firstseen":"2021-03-04T19:57:00.152884","name":"bigarray-compat","packageid":72523},{"block":false,"categoryid":314,"description":"Context sensitive completion for OCaml in Vim and Emacs","ebuildids":[859130,859130,859130,859130,859130,859130,870335,870335,870335,870335,870335,870335],"firstseen":"2021-03-19T10:44:28.249262","name":"merlin","packageid":72610},{"block":false,"categoryid":321,"description":"Tools for accessing, inspecting, and modifying virtual machine (VM) disk images","ebuildids":[862255,862255,862256,862257,864843],"firstseen":"2021-10-07T07:24:42.267339","name":"guestfs-tools","packageid":73388},{"block":false,"categoryid":314,"description":"Binding to libuv: cross-platform asynchronous I\/O","ebuildids":[841562,841562,860191,860191,860191,860191],"firstseen":"2021-11-07T13:04:50.029657","name":"luv","packageid":73563},{"block":false,"categoryid":314,"description":"A pretty-printing combinator library and rendering engine","ebuildids":[762757,762757,800579,800579],"firstseen":"2021-12-03T02:24:45.474719","name":"pprint","packageid":73694,"summary":"This library offers a set of combinators for building so-called documents as well as an efficient engine for converting documents to a textual, fixed-width format. The engine takes care of indentation and line breaks, while respecting the constraints imposed by the structure of the document and by the text width."},{"block":false,"categoryid":314,"description":"JSON codec generator for OCaml","ebuildids":[841782,841782,870336,870336],"firstseen":"2021-12-03T03:24:56.758232","name":"ppx_deriving_yojson","packageid":73696},{"block":false,"categoryid":314,"description":"A community-maintained standard library extension","ebuildids":[857062,857063,857064,857065,857065,858832,858832],"firstseen":"2021-12-04T15:53:08.392601","name":"batteries","packageid":73702},{"block":false,"categoryid":314,"description":"Iterators for OCaml, both restartable and consumable","ebuildids":[732547,732547,766314,766314,766314,766314,785257,785257,785257,785257],"firstseen":"2021-12-05T01:34:57.829480","name":"gen","packageid":73704},{"block":false,"categoryid":314,"description":"An OCaml lexer generator for Unicode","ebuildids":[869649,869649],"firstseen":"2021-12-05T01:34:57.829480","name":"sedlex","packageid":73705,"summary":"sedlex is a lexer generator for OCaml. It is similar to ocamllex, but supports Unicode. Unlike ocamllex, sedlex allows lexer specifications within regular OCaml source files. Lexing specific constructs are provided via a ppx syntax extension."},{"block":false,"categoryid":314,"description":"Maps of integers implemented as Patricia trees","ebuildids":[766315,766315,766315,766315],"firstseen":"2021-12-05T01:55:01.249463","name":"ptmap","packageid":73706},{"block":false,"categoryid":314,"description":"Easy process control for OCaml","ebuildids":[774226],"firstseen":"2021-12-05T03:55:34.836655","name":"ocaml-process","packageid":73707},{"block":false,"categoryid":314,"description":"Binding to the SHA cryptographic functions","ebuildids":[732549,732549,772295,772295,776924,776924],"firstseen":"2021-12-05T03:55:34.836655","name":"ocaml-sha","packageid":73708,"summary":"This is the binding for SHA interface code in OCaml. Offering the same interface than the MD5 digest included in the OCaml standard library. It's currently providing SHA1, SHA256 and SHA512 hash functions."},{"block":false,"categoryid":314,"description":"Signed and unsigned integer types having specified widths","ebuildids":[732550,732550,828488,828488],"firstseen":"2021-12-05T03:55:34.836655","name":"ocaml-stdint","packageid":73709,"summary":"The stdint library provides signed and unsigned integer types of various fixed widths: 8, 16, 24, 32, 40, 48, 56, 64 and 128 bit. This interface is similar to Int32 and Int64 from the base library but provides more functions and constants like arithmetic and bit-wise operations, constants like maximum and minimum values, infix operators conversion to and from every other integer type (including int, float and nativeint), parsing from and conversion to readable strings (binary, octal, decimal, hexademical), conversion to and from buffers in both big endian and little endian byte order."},{"block":false,"categoryid":450,"description":"Multi-target universal programming language","ebuildids":[857989,857989],"firstseen":"2021-12-05T05:16:15.438594","name":"haxe","packageid":73711,"summary":"Haxe is an open source toolkit based on a modern, high level, static-typed programming language, a cross-compiler, a complete cross-platform standard library and ways to access each platform's native capabilities."},{"block":false,"categoryid":314,"description":"Facilities for memoization and fixed points","ebuildids":[738101,738101,805244,805244,866391,866391],"firstseen":"2021-12-06T11:04:12.333393","name":"fix","packageid":73713},{"block":false,"categoryid":314,"description":"QuickCheck inspired property-based testing for OCaml","ebuildids":[732669,732669,776230,776230,832808,832808],"firstseen":"2021-12-07T22:11:49.267957","name":"qcheck","packageid":73720},{"block":false,"categoryid":314,"description":"Inline (Unit) Tests for OCaml","ebuildids":[732670,732670],"firstseen":"2021-12-07T22:11:49.267957","name":"qtest","packageid":73721},{"block":false,"categoryid":314,"description":"Determine column width for a character","ebuildids":[784522,784522,830607,830607],"firstseen":"2021-12-07T23:52:09.010133","name":"charinfo_width","packageid":73722},{"block":false,"categoryid":314,"description":"Cooperative light-weight thread library for OCaml","ebuildids":[732791,732791,775869,775869],"firstseen":"2021-12-07T23:52:09.010133","name":"lwt_log","packageid":73723},{"block":false,"categoryid":314,"description":"General modal editing engine generator","ebuildids":[732792,732792],"firstseen":"2021-12-07T23:52:09.010133","name":"mew","packageid":73724},{"block":false,"categoryid":314,"description":"A vi-like modal editing engine generator","ebuildids":[732683,732683],"firstseen":"2021-12-07T23:52:09.010133","name":"mew_vi","packageid":73725},{"block":false,"categoryid":314,"description":"Strict impure trie tree","ebuildids":[732684,732684],"firstseen":"2021-12-07T23:52:09.010133","name":"trie","packageid":73726},{"block":false,"categoryid":314,"description":"Abstract engine for text edition in OCaml","ebuildids":[795214,795214,796935,796935],"firstseen":"2021-12-07T23:52:09.010133","name":"zed","packageid":73727,"summary":"Zed is an abstract engine for text edition. It can be used to write text editors, edition widgets, readlines, ... Zed uses Camomile to fully support the Unicode specification, and implements an UTF-8 encoded string type with validation, and a rope datastructure to achieve efficient operations on large Unicode buffers. Zed also features a regular expression search on ropes. To support efficient text edition capabilities, Zed provides macro recording and cursor management facilities."},{"block":false,"categoryid":314,"description":"Terminal manipulation library for OCaml","ebuildids":[732705,732705,774725,774725,798338,798338],"firstseen":"2021-12-08T02:32:41.804293","name":"lambda-term","packageid":73728,"summary":"Lambda-term is a cross-platform library for manipulating the terminal. It provides an abstraction for keys, mouse events, colors, as well as a set of widgets to write curses-like applications. The main objective of lambda-term is to provide a higher level functional interface to terminal manipulation than, for example, ncurses, by providing a native OCaml interface instead of bindings to a C library. Lambda-term integrates with zed to provide text edition facilities in console applications."},{"block":false,"categoryid":314,"description":"Simple, fast & type safe language that leverages JavaScript and OCaml","ebuildids":[846439,846439,853606,853606],"firstseen":"2021-12-08T02:32:41.804293","name":"reason","packageid":73729,"summary":"Reason provides a new ES6-inspired syntax for OCaml. It's also the umbrella project for a set of tools for the OCaml and JavaScript ecosystems."},{"block":false,"categoryid":314,"description":"Universal toplevel for OCaml","ebuildids":[785258,785258,834219,834219,834219,834219,846081,846081,846081,846081],"firstseen":"2021-12-08T02:32:41.804293","name":"utop","packageid":73730,"summary":"utop is an improved toplevel (i.e., Read-Eval-Print Loop or REPL) for OCaml. It can run in a terminal or in Emacs. It supports line edition, history, real-time and context sensitive completion, colors, and more. It integrates with the Tuareg mode in Emacs."},{"block":false,"categoryid":314,"description":"Embed locations informations inside executable and libraries","ebuildids":[831737,831737,844947,844947,861007,861007,870860,870860],"firstseen":"2021-12-11T03:24:12.701596","name":"dune-build-info","packageid":73734},{"block":false,"categoryid":314,"description":"Embed locations informations inside executable and libraries","ebuildids":[831740,831740,844952,844952,861010,861010,870862,870862],"firstseen":"2021-12-11T03:24:12.701596","name":"dune-site","packageid":73735},{"block":false,"categoryid":314,"description":"A small OCaml library to read and write .ini files","ebuildids":[733219],"firstseen":"2021-12-11T03:24:12.701596","name":"ocaml-inifiles","packageid":73736},{"block":false,"categoryid":317,"description":"Computer-Aided Cryptographic Proofs","ebuildids":[854228,854228,854228,854228,868779,868779,868779,868779],"firstseen":"2021-12-12T02:08:52.137547","name":"easycrypt","packageid":73746,"summary":"EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs."},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[782878,782878,782878,845202,845202,845202,854230,854230,854230,869907,869907,869907],"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."},{"block":false,"categoryid":314,"description":"A syntax extension for importing declarations from interface files","ebuildids":[776225,776225,776226,776226,831526,831526],"firstseen":"2022-03-05T04:57:32.030109","name":"ppx_import","packageid":74526},{"block":false,"categoryid":317,"description":"Mathematical Components for the Coq proof assistant","ebuildids":[857711,857711],"firstseen":"2022-03-05T04:57:32.030109","name":"coq-mathcomp","packageid":74528},{"block":false,"categoryid":317,"description":"Serialization library and protocol for interaction with the Coq proof assistant","ebuildids":[837451,837451],"firstseen":"2022-03-05T04:57:32.030109","name":"coq-serapi","packageid":74529,"summary":"SerAPI is a library for machine-to-machine interaction with the Coq proof assistant, with particular emphasis on applications in IDEs, code analysis tools, and machine learning. SerAPI provides automatic serialization of Coq's internal OCaml datatypes from\/to JSON or S-expressions (sexps). SerAPI is a proof-of-concept and should be considered alpha-quality."},{"block":false,"categoryid":314,"description":"Bindings to ncurses","ebuildids":[743780,743780,776923,776923],"firstseen":"2022-03-21T10:25:48.444436","name":"curses","packageid":74581},{"block":false,"categoryid":314,"description":"Stream and Genlex libraries for use with Camlp4 and Camlp5","ebuildids":[772289,772289],"firstseen":"2022-04-04T17:52:23.540825","name":"camlp-streams","packageid":74733},{"block":false,"categoryid":314,"description":"Expands [@disable_unused_warnings]","ebuildids":[753752,753752,791980,791980,865565,865565,865565,865565],"firstseen":"2022-04-25T08:58:48.501992","name":"ppx_disable_unused_warnings","packageid":74877},{"block":false,"categoryid":314,"description":"Ignore Jane Street specific instrumentation extensions","ebuildids":[753753,753753,791982,791982,829925,829925],"firstseen":"2022-04-25T14:00:03.910396","name":"ppx_ignore_instrumentation","packageid":74878},{"block":false,"categoryid":314,"description":"Lazily rendering log messages","ebuildids":[777567,777567,791901,791901,791901,791901,865575,865575,865575,865575],"firstseen":"2022-04-25T18:21:04.804344","name":"ppx_log","packageid":74880},{"block":false,"categoryid":314,"description":"Integers of various widths","ebuildids":[748003,748003,791976,791976,791976,791976,865557,865557,865557,865557],"firstseen":"2022-04-25T21:01:56.249447","name":"int_repr","packageid":74881},{"block":false,"categoryid":314,"description":"Helpers for writing expectation tests","ebuildids":[757160,757160,791975,791975,791975,791975,865668,865668,865668,865668],"firstseen":"2022-04-26T21:06:51.091117","name":"expect_test_helpers_core","packageid":74896},{"block":false,"categoryid":314,"description":"S-expression pretty-printer","ebuildids":[776233,776233,776256,776256,791989,791989,791989,791989,865357,865357,865357,865357],"firstseen":"2022-04-26T21:06:51.091117","name":"sexp_pretty","packageid":74897},{"block":false,"categoryid":314,"description":"Invoke amd64 instructions (such as clz, popcnt, rdtsc, rdpmc)","ebuildids":[775870,775870,775870,775870,791977,791977,791977,791977,829076,829076],"firstseen":"2022-04-27T07:49:04.282500","name":"ocaml_intrinsics","packageid":74901},{"block":false,"categoryid":314,"description":"Unix-specific portions of Core","ebuildids":[776268,776268,776268,776268,794349,794349,794349,794349,830029,830029,830029,830029,860847,860847,860847,860847],"firstseen":"2022-04-27T08:09:09.585612","name":"core_unix","packageid":74902},{"block":false,"categoryid":314,"description":"Text output utilities","ebuildids":[748163,748163,792827,792827,792827,792827,841794,841794,841794,841794],"firstseen":"2022-04-27T10:09:37.913270","name":"textutils_kernel","packageid":74903},{"block":false,"categoryid":314,"description":"POSIX time for OCaml","ebuildids":[755895,755895,755895,797835,797835,797835,841784,841784,841784],"firstseen":"2022-07-12T06:25:07.360748","name":"ptime","packageid":75155,"summary":"Ptime has platform independent POSIX time support in pure OCaml. It provides a type to represent a well-defined range of POSIX timestamps with picosecond precision, conversion with date-time values, conversion with [RFC 3339 timestamps][rfc3339] and pretty printing to a human-readable, locale-independent representation. The additional Ptime_clock library provides access to a system POSIX clock and to the system's current time zone offset. Ptime is not a calendar library. Ptime has no dependency. Ptime_clock depends on your system library or JavaScript runtime system. Ptime and its libraries are distributed under the ISC license. [rfc3339]: http:\/\/tools.ietf.org\/html\/rfc3339 Home page: http:\/\/erratique.ch\/software\/ptime"},{"block":false,"categoryid":314,"description":"Minimal HTTP server with a small request router","ebuildids":[776385,776385,776385,776385,841585,841585,841585,841585,841920,841920,841920,841920],"firstseen":"2022-07-12T06:25:07.360748","name":"tiny_httpd","packageid":75156},{"block":false,"categoryid":314,"description":"A simple OCaml client for Google Services","ebuildids":[830957,830957,866417,866417],"firstseen":"2022-07-13T02:50:01.972397","name":"gapi-ocaml","packageid":75160,"summary":"gapi-ocaml is a simple, unofficial, OCaml client for Google Services. The library supports ClientLogin, OAuth 1.0a, and OAuth 2.0 authentication. Supported RESTful APIs: Calendar APIs v3, Google+ API v1, Tasks API v1, APIs Discovery Service v1, URL Shortener API v1, OAuth2 API v2, Custom Search API v1, Google Analytics API v3, Page Speed Online API v1, Blogger API v2, Site Verification API v1, AdSense Management API v1.4, BigQuery API v2, Drive API v2, Drive API v3, Gmail API v1."},{"block":false,"categoryid":314,"description":"OCaml binding for fuse","ebuildids":[845203,845203],"firstseen":"2022-07-13T02:50:01.972397","name":"ocamlfuse","packageid":75161,"summary":"This is a binding to FUSE for the OCaml programming language, enabling you to write multithreaded filesystems in the OCaml language. It has been designed with simplicity as a goal, as you can see by looking at example\/fusexmp.ml. Efficiency has also been a separate goal. The Bigarray library is used for read and writes, allowing the library to do zero-copy in OCaml land."},{"block":false,"categoryid":394,"description":"FUSE filesystem over Google Drive","ebuildids":[845204,845204,845204],"firstseen":"2022-07-15T04:00:42.858914","name":"google-drive-ocamlfuse","packageid":75171},{"block":false,"categoryid":314,"description":"Basic control of ANSI compliant terminals and the windows shell","ebuildids":[765917,765917],"firstseen":"2022-10-23T10:38:47.299323","name":"ANSITerminal","packageid":75561},{"block":false,"categoryid":314,"description":"Static types for JSON APIs","ebuildids":[805243,805243,805243,805243,860522,860522],"firstseen":"2022-10-23T10:38:47.299323","name":"atd","packageid":75562,"summary":"ATD stands for Adaptable Type Definitions. It is a syntax for defining cross-language data types. It is used as input to generate efficient and type-safe serializers, deserializers and validators."},{"block":false,"categoryid":428,"description":"Program matching and transformation engine","ebuildids":[828344,828344,864964,864964],"firstseen":"2022-10-29T19:33:57.157623","name":"coccinelle","packageid":75575},{"block":false,"categoryid":314,"description":"Compatibility module for OCaml standard library","ebuildids":[857082,857082],"firstseen":"2022-11-10T08:03:26.401342","name":"stdcompat","packageid":75602,"summary":"Compatibility module for OCaml standard library allowing programs to use some recent additions to the OCaml standard library while preserving the ability to be compiled on former versions of OCaml."},{"block":false,"categoryid":314,"description":"Pretty-printing library","ebuildids":[769201,769201,769201,769201,832801,832801,841634,841634],"firstseen":"2022-11-19T22:34:20.631979","name":"pp","packageid":75608},{"block":false,"categoryid":381,"description":"NBD client library in userspace","ebuildids":[863221,863221,868366,868366,871213,871213],"firstseen":"2022-12-03T11:36:43.162418","name":"libnbd","packageid":75640},{"block":false,"categoryid":314,"description":"A library for building correct HTML and SVG documents","ebuildids":[772689,772689,801220,801220],"firstseen":"2022-12-21T07:50:59.613372","name":"tyxml","packageid":75697,"summary":"TyXML provides a set of convenient combinators that uses the OCaml type system to ensure the validity of the generated documents. TyXML can be used with any representation of HTML and SVG: the textual one, provided directly by this package, or DOM trees (js_of_ocaml-tyxml) virtual DOM (virtual-dom) and reactive or replicated trees (eliom). You can also create your own representation and use it to instantiate a new set of combinators."},{"block":false,"categoryid":314,"description":"OCaml documentation generator","ebuildids":[857814,857814,857814,857814,857815,857815],"firstseen":"2022-12-21T13:52:14.550223","name":"odoc","packageid":75699,"summary":"Odoc is a documentation generator for OCaml. It reads doc comments, delimited with (** ... *), and outputs HTML"},{"block":false,"categoryid":314,"description":"A support library for verified Coq parsers produced by Menhir","ebuildids":[838108,838108],"firstseen":"2022-12-23T23:06:16.335529","name":"coq-menhirlib","packageid":75710},{"block":false,"categoryid":317,"description":"Formalization of floating-point arithmetic for the Coq proof assistant","ebuildids":[854229,854229],"firstseen":"2022-12-24T22:51:22.910451","name":"flocq","packageid":75711,"summary":"Flocq (Floats for Coq) is a formalization of floating-point arithmetic for the Coq proof assistant. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq."},{"block":false,"categoryid":317,"description":"Allows the certificates Gappa generates to be imported by the Coq","ebuildids":[778210,778210,783789,783789],"firstseen":"2022-12-24T22:51:22.910451","name":"gappalib-coq","packageid":75713},{"block":false,"categoryid":317,"description":"Model checker for verifying properties of array-based systems","ebuildids":[780327,780327],"firstseen":"2023-01-10T23:47:47.966911","name":"cubicle","packageid":75748,"summary":"Cubicle is an open source model checker for verifying safety properties of array-based systems. This is a syntactically restricted class of parametrized transition systems with states represented as arrays indexed by an arbitrary number of processes. Cache coherence protocols and mutual exclusion algorithms are typical examples of such systems. Cubicle model-checks by a symbolic backward reachability analysis on infinite sets of states represented by specific simple formulas, called cubes. Cubicle is based on ideas introduced by MCMT from which, in addition to revealing the implementation details, it differs in a more friendly input language and a concurrent architecture. Cubicle is written in OCaml. Its SMT solver is a tightly integrated, lightweight and enhanced version of Alt-Ergo; and its parallel implementation relies on the Functory library."},{"block":false,"categoryid":314,"description":"Unicode text segmentation for OCaml","ebuildids":[774670,774670,832817,832817,832817,832817,841851,841851,841851,841851],"firstseen":"2023-01-13T02:58:47.525804","name":"uuseg","packageid":75755,"summary":"Uuseg is an OCaml library for segmenting Unicode text. It implements the locale independent Unicode text segmentation algorithms to detect grapheme cluster, word and sentence boundaries and the Unicode line breaking algorithm to detect line break opportunities. The library is independent from any IO mechanism or Unicode text data structure and it can process text without a complete in-memory representation. Uuseg depends on Uucp and optionally on Uutf for support on OCaml UTF-X encoded strings. It is distributed under the ISC license."},{"block":false,"categoryid":314,"description":"Include a file as a string at compile time","ebuildids":[780264,780264,831454,831454,841662,841662],"firstseen":"2023-03-08T08:46:27.590151","name":"ppx_blob","packageid":75890},{"block":false,"categoryid":450,"description":"Embeddable Lambda Prolog Interpreter in OCaml","ebuildids":[861005,861005,861005,861005,861006,861006,861006,861006],"firstseen":"2023-03-15T01:50:00.147852","name":"elpi","packageid":75905,"summary":"ELPI implements a variant of λProlog enriched with Constraint Handling Rules, a programming language well suited to manipulate syntax trees with binders. ELPI is designed to be embedded into larger applications written in OCaml as an extension language. It comes with an API to drive the interpreter and with an FFI for defining built-in predicates and data types, as well as quotations and similar goodies that are handy to adapt the language to the host application."},{"block":false,"categoryid":314,"description":"OCaml bindings for ZeroMQ 4.x","ebuildids":[789085,789085,842340,842340],"firstseen":"2023-06-03T17:49:12.945157","name":"zmq","packageid":76224},{"block":false,"categoryid":314,"description":"Async-aware bindings to ZMQ for OCaml","ebuildids":[789086,789086],"firstseen":"2023-06-03T17:49:12.945157","name":"zmq-async","packageid":76225},{"block":false,"categoryid":314,"description":"Lwt-aware bindings to ZMQ for OCaml","ebuildids":[789087,789087],"firstseen":"2023-06-03T17:49:12.945157","name":"zmq-lwt","packageid":76226},{"block":false,"categoryid":317,"description":"Multi-engine SMT-based automatic model checker","ebuildids":[789128,789128],"firstseen":"2023-06-03T18:09:22.830387","name":"kind2","packageid":76227,"summary":"Kind 2 is an open-source, multi-engine, SMT-based automatic model checker for safety properties of finite-state or infinite-state synchronous reactive systems expressed as in an extension of the Lustre language. In its basic configuration it takes as input one or more Lustre files annotated with properties to be proven invariant, and outputs for each property either a confirmation or a counterexample, i.e., a sequence inputs that falsifies the property. More advanced features include contract-based compositional verification, proof generation for proven properties, and contract-based test generation."},{"block":false,"categoryid":314,"description":"Generates functions to copy local values to the global heap","ebuildids":[791856,791856,791856,791856,869761,869761,869761,869761,869762,869762,869762,869762],"firstseen":"2023-06-30T14:18:13.169180","name":"ppx_globalize","packageid":76299},{"block":false,"categoryid":314,"description":"Ppx extension for deriving a witness that a type is intended to be stable","ebuildids":[791986,791986,791986,791986,865527,865527,865527,865527],"firstseen":"2023-07-02T08:49:17.449209","name":"ppx_stable_witness","packageid":76303},{"block":false,"categoryid":314,"description":"Let expressions, inferring pattern type from expression","ebuildids":[791988,791988,791988,791988,870185,870185,870185,870185,870186,870186,870186,870186],"firstseen":"2023-07-02T08:49:17.449209","name":"ppx_tydi","packageid":76304},{"block":false,"categoryid":317,"description":"Cryptographic protocol verifier in the formal model","ebuildids":[796364,796364,796364,805249,805249,805249,808656,808656,808656],"firstseen":"2023-08-13T20:46:13.170863","name":"proverif","packageid":76384,"summary":"ProVerif is an automatic cryptographic protocol verifier, in the formal model (so called Dolev-Yao model). This protocol verifier is based on a representation of the protocol by Horn clauses. Its main features are: 1) It can handle many different cryptographic primitives, including shared- and public-key cryptography (encryption and signatures), hash functions, and Diffie-Hellman key agreements, specified both as rewrite rules or as equations. 2) It can handle an unbounded number of sessions of the protocol (even in parallel) and an unbounded message space. This result has been obtained thanks to some well-chosen approximations. This means that the verifier can give false attacks, but if it claims that the protocol satisfies some property, then the property is actually satisfied. The considered resolution algorithm terminates on a large class of protocols (the so-called \"tagged\" protocols). When the tool cannot prove a property, it tries to reconstruct an attack, that is, an execution trace of the protocol that falsifies the desired property."},{"block":false,"categoryid":314,"description":"Streaming client for OCaml's Memprof","ebuildids":[801218,801218],"firstseen":"2023-09-30T15:51:40.849419","name":"memtrace","packageid":76519},{"block":false,"categoryid":314,"description":"Functions to invoke amd64 instructions (such as cmov, min\/maxsd, popcnt)","ebuildids":[829073,829073],"firstseen":"2024-06-08T19:47:04.706252","name":"ocaml_intrinsics_kernel","packageid":77561},{"block":false,"categoryid":314,"description":"Utilities for working with Jane Street AST constructs","ebuildids":[857688,857688,857688,857688,857688,857688,869621,869621,869621,869621,869767,869767,869767,869767],"firstseen":"2024-06-11T06:08:53.735990","name":"ppxlib_jane","packageid":77567},{"block":false,"categoryid":314,"description":"Defines case conventions and functions to rename identifiers according to them","ebuildids":[865714,865714,865714,865714],"firstseen":"2024-06-14T18:40:07.890198","name":"capitalization","packageid":77577},{"block":false,"categoryid":314,"description":"Ppx extension for generating of_string & to_string","ebuildids":[865529,865529,865529,865529],"firstseen":"2024-06-14T18:40:07.890198","name":"ppx_string_conv","packageid":77578},{"block":false,"categoryid":314,"description":"Logging library built on top of Async_unix","ebuildids":[830023,830023,830023,830023],"firstseen":"2024-06-15T17:18:51.535030","name":"async_log","packageid":77581},{"block":false,"categoryid":314,"description":"Access C-like structures directly from OCaml","ebuildids":[830187,830187],"firstseen":"2024-06-15T17:18:51.535030","name":"cstruct","packageid":77582},{"block":false,"categoryid":314,"description":"A library to mark non-record fields global.","ebuildids":[865670,865670,865670,865670],"firstseen":"2024-06-15T17:18:51.535030","name":"gel","packageid":77583},{"block":false,"categoryid":314,"description":"A PPX rewriter that genreates the implementation of [Ldiffable.S].","ebuildids":[870194,870194,870194,870194,870195,870195,870195,870195],"firstseen":"2024-06-15T17:18:51.535030","name":"ppx_diff","packageid":77584},{"block":false,"categoryid":314,"description":"An [option]-like type that incurs no allocation","ebuildids":[865325,865325,865325,865325],"firstseen":"2024-06-15T17:18:51.535030","name":"uopt","packageid":77585},{"block":false,"categoryid":314,"description":"Convert a filesystem into a static OCaml module","ebuildids":[832793,832793,866930,866930],"firstseen":"2024-07-13T08:52:53.117739","name":"ocaml-crunch","packageid":77646},{"block":false,"categoryid":314,"description":"XDG Base Directory Specification","ebuildids":[832812,832812,844823,844823],"firstseen":"2024-07-13T12:53:43.427826","name":"xdg","packageid":77647},{"block":false,"categoryid":314,"description":"Heterogeneous value maps for OCaml","ebuildids":[841918,841918],"firstseen":"2024-10-20T19:22:07.144558","name":"hmap","packageid":77782},{"block":false,"categoryid":314,"description":"Generic, composable IO input and output streams","ebuildids":[841919,841919],"firstseen":"2024-10-20T19:22:07.144558","name":"iostream","packageid":77783},{"block":false,"categoryid":314,"description":"OCaml library to work with swhids","ebuildids":[845263,845263],"firstseen":"2024-11-20T20:04:23.814860","name":"swhid_core","packageid":77865,"summary":"swhid_core is an OCaml library to with with Software Heritage persistent identifiers (swhids)."},{"block":false,"categoryid":314,"description":"A library providing a strict SPDX License Expression parser","ebuildids":[845265,845265],"firstseen":"2024-11-20T20:24:27.410595","name":"spdx_licenses","packageid":77866,"summary":"An OCaml library aiming to provide an up-to-date and strict SPDX License Expression parser. It implements the format described in: https:\/\/spdx.github.io\/spdx-spec\/appendix-IV-SPDX-license-expressions\/ See https:\/\/spdx.org\/licenses\/ for more details."},{"block":false,"categoryid":314,"description":"Core libraries for opam","ebuildids":[845332,845332],"firstseen":"2024-11-21T19:30:56.827392","name":"opam-common","packageid":77867},{"block":false,"categoryid":314,"description":"Streaming XML codec for OCaml","ebuildids":[845335,845335],"firstseen":"2024-11-21T20:51:13.141179","name":"xmlm","packageid":77868,"summary":"Xmlm is a streaming codec to decode and encode the XML data format. It can process XML documents without a complete in-memory representation of the data. Xmlm is made of a single independent module and distributed under the ISC license."},{"block":false,"categoryid":314,"description":"Package dependency solver","ebuildids":[845409,845409],"firstseen":"2024-11-21T21:11:17.153269","name":"0install","packageid":77869,"summary":"Zero Install is a decentralised cross-distribution software installation system. Other features include full support for shared libraries (with a SAT solver for dependency resolution), sharing between users, and integration with native platform package managers. It supports both binary and source packages, and works on Linux, macOS, Unix and Windows systems."},{"block":false,"categoryid":314,"description":"Opam solver using 0install backend using the CUDF interface","ebuildids":[845412,845412],"firstseen":"2024-11-21T21:11:17.153269","name":"opam-0install-cudf","packageid":77870,"summary":"Opam's default solver is designed to maintain a set of packages over time, minimising disruption when installing new programs and finding a compromise solution across all packages. In many situations (e.g. CI, local roots or duniverse builds) this is not necessary, and we can get a solution much faster by using a different algorithm. This package provides a generic solver library which uses 0install's solver library. The library uses the CUDF library in order to interface with opam as it is the format common used to talk to all the supported solvers."},{"block":false,"categoryid":314,"description":"OCaml bindings for LLVM","ebuildids":[847245,847245,847246,847246,847247,847247,847248,847248,851105,851105,867205,867205,869863,869863,870789,870789,870790,870790,870924,870924,871038,871038,871375,871375,871595,871595],"firstseen":"2024-12-11T12:13:21.481019","name":"llvm","packageid":78060},{"block":false,"categoryid":314,"description":"OCaml language binding for libvirt native C API","ebuildids":[855748],"firstseen":"2025-03-03T19:37:20.476705","name":"libvirt-ocaml","packageid":78187},{"block":false,"categoryid":317,"description":"Stdlib for the Coq\/Rocq Prover, used to be part of Coq","ebuildids":[857712,857712],"firstseen":"2025-03-16T21:36:59.045185","name":"coq-stdlib","packageid":78227},{"block":false,"categoryid":314,"description":"Extra components that are not as closely vetted or as stable as Core","ebuildids":[861058,861058,861058,861058],"firstseen":"2025-04-21T09:46:22.499964","name":"core_extended","packageid":78293},{"block":false,"categoryid":314,"description":"Parsing of character (e.g., comma) separated and fixed-width values","ebuildids":[861059,861059,861059,861059],"firstseen":"2025-04-21T09:46:22.499964","name":"delimited_parsing","packageid":78294},{"block":false,"categoryid":314,"description":"A library which provides traversal of records with an applicative","ebuildids":[865401,865401,865401,865401],"firstseen":"2025-04-21T09:46:22.499964","name":"record_builder","packageid":78295},{"block":false,"categoryid":314,"description":"Parser combinators built for speed and memory-efficiency","ebuildids":[861143,861143],"firstseen":"2025-04-22T18:15:02.957154","name":"angstrom","packageid":78297},{"block":false,"categoryid":314,"description":"Bigstring intrinsics and fast blits based on memcpy\/memmove","ebuildids":[861144,861144],"firstseen":"2025-04-22T18:15:02.957154","name":"bigstringaf","packageid":78298},{"block":false,"categoryid":314,"description":"Extra string functions for OCaml","ebuildids":[861145,861145],"firstseen":"2025-04-22T18:15:02.957154","name":"stringext","packageid":78299},{"block":false,"categoryid":314,"description":"An RFC3986 URI\/URL parsing library","ebuildids":[861146,861146],"firstseen":"2025-04-22T18:15:02.957154","name":"uri","packageid":78300},{"block":false,"categoryid":314,"description":"OCaml bindings to PCRE (Perl Compatibility Regular Expressions)","ebuildids":[870853,870853],"firstseen":"2025-07-18T20:29:48.324422","name":"pcre2-ocaml","packageid":78438}],"ebuilds":[{"archs":["~amd64","~amd64-linux","~arm","~arm64","~hppa","~loong","~mips","~ppc","~ppc-macos","~ppc64","~riscv","~sparc","~x86","~x86-linux"],"ebuildid":857232,"firstseen":"2025-03-12T20:21:36.910539","license":"QPL-1.0 LGPL-2","moddate":"2025-07-14T19:16:53","packageid":49590,"repoid":1,"slot":"0\/5.3.0","uses":["emacs","flambda","latex","ocamlopt","test","xemacs"],"version":"5.3.0-r1"},{"archs":["amd64","arm","arm64","ppc64","x86","~amd64-linux","~hppa","~loong","~mips","~ppc","~ppc-macos","~riscv","~sparc","~x86-linux"],"ebuildid":824621,"firstseen":"2024-04-29T21:56:07.255737","license":"QPL-1.0 LGPL-2","moddate":"2025-07-14T19:16:53","packageid":49590,"repoid":1,"slot":"0\/4.14.2","uses":["emacs","flambda","latex","ocamlopt","xemacs"],"version":"4.14.2"},{"archs":["amd64","arm","arm64","ppc64","x86","~amd64-linux","~hppa","~loong","~mips","~ppc","~ppc-macos","~riscv","~sparc","~x86-linux"],"ebuildid":777604,"firstseen":"2023-02-10T19:22:18.958950","license":"QPL-1.0 LGPL-2","moddate":"2025-07-14T19:16:53","packageid":49590,"repoid":1,"slot":"0\/4.14.1","uses":["emacs","flambda","latex","ocamlopt","xemacs"],"version":"4.14.1"},{"archs":["~amd64","~amd64-linux","~arm","~arm64","~hppa","~mips","~ppc","~ppc-macos","~ppc64","~sparc","~x86","~x86-linux"],"ebuildid":726146,"firstseen":"2021-10-07T08:04:49.917451","license":"QPL-1.0 LGPL-2","moddate":"2025-07-14T19:16:53","packageid":49590,"repoid":1,"slot":"0\/4.13","uses":["emacs","flambda","latex","ocamlopt","xemacs"],"version":"4.13.1"},{"archs":["~amd64","~amd64-linux","~arm","~arm64","~hppa","~mips","~ppc","~ppc-macos","~ppc64","~sparc","~x86","~x86-linux"],"ebuildid":725689,"firstseen":"2021-10-02T06:52:49.377490","license":"QPL-1.0 LGPL-2","moddate":"2025-07-14T19:16:53","packageid":49590,"repoid":1,"slot":"0\/4.12","uses":["emacs","flambda","latex","ocamlopt","xemacs"],"version":"4.12.1"},{"archs":["amd64","arm","arm64","ppc64","x86","~amd64-linux","~hppa","~mips","~ppc","~ppc-macos","~sparc","~x86-linux"],"ebuildid":715720,"firstseen":"2021-06-18T22:37:51.868079","license":"QPL-1.0 LGPL-2","moddate":"2025-07-14T19:16:53","packageid":49590,"repoid":1,"slot":"0\/4.11","uses":["emacs","flambda","latex","ocamlopt","spacetime","xemacs"],"version":"4.11.2-r2"},{"archs":["~amd64","~amd64-linux","~arm","~arm64","~hppa","~mips","~ppc","~ppc-macos","~ppc64","~x86","~x86-linux"],"ebuildid":741005,"firstseen":"2022-02-28T18:31:39.467293","license":"LGPL-2.1","moddate":"2025-07-14T19:16:53","packageid":49590,"repoid":1,"slot":"0\/4.10","uses":["emacs","flambda","latex","ocamlopt","spacetime","xemacs"],"version":"4.10.2-r3"},{"archs":["amd64","arm","arm64","ppc64","x86","~amd64-linux","~hppa","~mips","~ppc","~ppc-macos","~x86-linux"],"ebuildid":741004,"firstseen":"2022-02-28T18:31:39.467293","license":"LGPL-2.1","moddate":"2025-07-14T19:16:53","packageid":49590,"repoid":1,"slot":"0\/4.09","uses":["emacs","flambda","latex","ocamlopt","spacetime","xemacs"],"version":"4.09.0-r3"}],"masks":[],"package":{"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},"rdependencies":[{"block":false,"categoryid":381,"description":"Portable and efficient API to determine the call-chain of a program","ebuildids":[715720,741004,741005],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"libunwind","packageid":47245},{"block":true,"categoryid":314,"description":"OCaml tool to find\/use non-standard packages","ebuildids":[857232],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288},{"block":false,"categoryid":381,"description":"Core binutils libraries (libbfd, libopcodes, libiberty) for external packages","ebuildids":[715720,725689,726146,741004,741005,777604,824621,857232],"firstseen":"2015-09-27T13:38:17.492284","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"binutils-libs","packageid":64411}],"repos":[{"branch":"master","lastcommit":"272857559e855c6d0abbcf03b66b5ef62a576843","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/ocaml.org\/"],"uses":[{"description":"Add support for GNU Emacs","isdefault":false,"use":"emacs"},{"description":"Enables the Flambda optimizer: A new intermediate representation (introduced in ocaml 4.03) in the depths of the compiler designed to allow for better inlining.","isdefault":false,"packageid":49590,"use":"flambda"},{"description":"Add support for LaTeX (typesetting package)","isdefault":false,"use":"latex"},{"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":"Enables the Spacetime memory profiler. See https:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/spacetime.html for more information.","isdefault":false,"packageid":49590,"use":"spacetime"},{"description":"Enable dependencies and\/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)","isdefault":false,"use":"test"},{"description":"Add support for XEmacs","isdefault":false,"use":"xemacs"}]}