{"bugs":[],"categories":[{"categoryid":422,"name":"app-misc","summary":"The app-misc category contains various miscellaneous application packages which don't belong anywhere else."},{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":314,"name":"dev-ml","summary":"The dev-ml category contains libraries and utilities relevant to the ML programming language."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"89a167a13067ec86a9b255bfbab60d45facaa156","committime":"2025-09-25T06:20:45","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"6402596af7381549d85921761244343febbc773b","committime":"2025-09-25T06:00:30","packageid":72119,"repoid":1,"summary":"dev-ml\/re: >=dev-lang\/ocaml-4.09 outdated"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f6e8bcc35b8a28176ab57f1f7d9b77e91666024e","committime":"2025-09-24T09:50:34","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"d40019ffba4f7871eafcf68b97c3b097d4cfd23c","committime":"2025-09-24T09:33:41","packageid":72119,"repoid":1,"summary":"dev-ml\/re: add 1.14.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"979fca8786f68ff92a16fb6caf0f78f666fc13a8","committime":"2025-04-12T12:50:14","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/948488\nSigned-off-by: Alfredo Tupone ","commitid":"555d9dd45a1cbfb7fc3ca51e8397b40ce10aa08a","committime":"2025-04-12T12:32:36","packageid":72119,"repoid":1,"summary":"dev-ml\/re: fix BDEPD on dune"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f9f8d712f9c1b5799838745f3c3f1a87a8d012a4","committime":"2025-04-10T21:20:12","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/950468\nSigned-off-by: Alfredo Tupone ","commitid":"7c2017d86a93dc5d06d9a69f021093a14ee5e77a","committime":"2025-04-10T21:12:32","packageid":72119,"repoid":1,"summary":"dev-ml\/re: need ocaml-14 or later"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c51a26e2d7d8ebf050a24dbff5ccc359b7aa4d28","committime":"2025-02-19T07:48:26","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"cceceb3903ed62ef5181dc8593d783c0669b2e4c","committime":"2025-02-19T07:32:17","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.13.3 amd64, #949940"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"232cdaac5cbc37a682b92330178f7d933e41dd85","committime":"2025-02-19T07:32:17","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.13.3 arm, #949940"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"d2382d53174d8a2926d32cf814dbe2dcff22dd82","committime":"2025-02-19T07:32:16","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.13.3 ppc64, #949940"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"7dc71b99cb15b212ff21683d9d5d60c130aaea73","committime":"2025-02-19T07:32:16","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.13.3 x86, #949940"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"2c8ca0fcc84afc00726810ba40577f50e927531d","committime":"2025-02-19T07:32:15","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.13.3 arm64, #949940"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a2a0e41c415f5758a8164a1c2057b4553f1f32ed","committime":"2024-12-29T11:03:36","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"dc15a9247ecc35aec147eebc522fa0b0fb6c54d6","committime":"2024-12-29T10:53:31","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.13.0-r1 x86, #945767"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"70d2b919d3e4e51484dd8a8943fdbabea09959db","committime":"2024-12-29T10:53:23","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.13.0-r1 ppc64, #945767"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"cb5edfa3112ada9ac02ec7e384dc88d9b73e4374","committime":"2024-12-29T10:53:15","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.13.0-r1 arm, #945767"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"ad075c599a819dbef99b3a1909fdcd88efd2a6c6","committime":"2024-12-29T10:53:06","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.13.0-r1 arm64, #945767"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"ef7f0f3ee3a0b03971276e1a838b2703d39bc836","committime":"2024-12-29T10:52:55","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.13.0-r1 amd64, #945767"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"545ee700f79d1fe0ce9e4ce665475dc489882e67","committime":"2024-12-11T13:07:20","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/946259\nSigned-off-by: Alfredo Tupone ","commitid":"2651d988d863488bf356e2d46b83df9cfe9fdc7c","committime":"2024-12-11T12:55:58","packageid":72119,"repoid":1,"summary":"dev-ml\/re: fix test DEPs"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e1266a252677399cd02ed1be39548773ec2fa0a1","committime":"2024-11-14T23:48:20","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7986cae959b5b4ffa764c4c3c2a1f51d7f716e29","committime":"2024-11-14T20:07:45","packageid":72119,"repoid":1,"summary":"dev-ml\/re: bump to 1.13.3"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"9bafb4c6c9c316d61694dfe0955d18e6a59808b2","committime":"2024-11-14T19:48:56","packageid":72119,"repoid":1,"summary":"dev-ml\/re: drop old 1.10.4-r2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"35c2e4f91547c94885241cda81b92e6030b27c8f","committime":"2024-11-02T16:03:16","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"aec78d7e883292feb514f4df0a9561e7166f8a5a","committime":"2024-11-02T15:58:49","packageid":72119,"repoid":1,"summary":"dev-ml\/re: add 1.13.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7de3b16a5b3f35d8f32855c20df2f9ef13acd5e5","committime":"2024-10-18T18:18:19","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"64d531af7f8ca047e5ae17cef8853d46993aabf6","committime":"2024-10-18T18:02:20","packageid":72119,"repoid":1,"summary":"dev-ml\/re: add 1.12.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3cc9cedd5886c9dcdd5949309ba573e561633e71","committime":"2024-03-01T07:33:41","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"matoro_gentoo@matoro.tk","authorname":"Matoro Mahri","body":"Signed-off-by: Matoro Mahri \nSigned-off-by: Viorel Munteanu ","commitid":"cc1952b16d61bf3f0671cce5b13fca67bf402e11","committime":"2024-03-01T02:36:27","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.11.0 ppc64, #924576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6dae61ce73970d6800994be9df22e176beaef67f","committime":"2024-02-15T14:05:52","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a138567ad69a91d93d9fd1fc08d96faf91bb674b","committime":"2024-02-15T13:55:03","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.11.0 amd64, #924576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b055bfbac4aaf6dfe0db7052e7474b8b1999af69","committime":"2024-02-15T10:18:44","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"4485f4f463ff8e5288c1ea52be3e2eee685c7d38","committime":"2024-02-15T10:05:47","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.11.0 x86, #924576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"09b7dbf749891d7a8fc4abb28b6c3b39fab0468a","committime":"2024-02-14T19:03:55","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"76475c52b3bcb3dd89dd06a978a3a2aa1ef44bed","committime":"2024-02-14T18:57:08","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.11.0 arm64, #924576"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"1af278412bb8872e8269397b192b76181c1928f0","committime":"2024-02-14T18:57:07","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.11.0 arm, #924576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d3d7fbef0b5b67b8848e6c459d7cdaea9898870c","committime":"2023-12-27T01:31:51","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3ce2483ef24ae28d56dcaff9054a7409c99a1d5d","committime":"2023-12-26T21:37:06","packageid":72119,"repoid":1,"summary":"dev-ml\/re: bump to 1.11.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e6d95051bf2d2fb8b9aa40d70f223c5ef55ddc46","committime":"2023-12-26T21:31:12","packageid":72119,"repoid":1,"summary":"dev-ml\/re: drop old 1.10.3"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b5aa3c2c53088de8a6ed3ac846049db41f158570","committime":"2023-12-26T21:30:32","packageid":72119,"repoid":1,"summary":"dev-ml\/re: drop old 1.9.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e4a2ba5febcd3ce952294187b43c6f1febb8e784","committime":"2023-04-29T08:18:54","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"fc232c54a83bd0c6bf5575074d9d276acebdc2cf","committime":"2023-04-29T08:05:47","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.10.4-r2 arm, #901645"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"642011f56bff822935447ef66e98218cb474223c","committime":"2023-04-29T08:05:23","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.10.4-r2 x86, #901645"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4d9d86269f043efac66d2cbfccdeffd40591b0c2","committime":"2023-04-29T08:03:57","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"ac73928f700de9e03c909ee389393fe3e1c2d7cf","committime":"2023-04-29T07:59:16","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.10.4-r2 ppc64, #901645"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e67345cb386b0b5ab2752ec1ffa8fbb32b047d6d","committime":"2023-04-09T12:46:47","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"8cc4e652a71828bb5efcedf2465e5b5610d4d11b","committime":"2023-04-09T12:41:23","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.10.4-r2 amd64, #901645"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"b174a532b47bb81bf3dbc4d2400c129335863a93","committime":"2023-04-09T12:41:21","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.10.4-r2 arm64, #901645"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c70295274fa5486df5474b85fc9815199a58c53b","committime":"2022-11-18T22:16:45","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"afa57de50e28388e58e9fcd9f74e63a47e9a3d12","committime":"2022-11-18T22:10:19","packageid":72119,"repoid":1,"summary":"dev-ml\/re: drop seq requirement"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0eb80db511e33ce759f11bf73f268ff54914a5d2","committime":"2022-10-01T23:46:40","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8d1f99a8a3d081d5f5067e7a63997d946c8b6684","committime":"2022-10-01T21:57:57","packageid":72119,"repoid":1,"summary":"dev-ml\/re: for 1.10.4 block seq only in version <0.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d8e59b684d90040330c2c1b779da759c5b381d17","committime":"2022-09-23T19:46:41","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/871993\nCloses: https:\/\/bugs.gentoo.org\/860387\nCloses: https:\/\/bugs.gentoo.org\/860273\n\nSigned-off-by: Alfredo Tupone ","commitid":"c11a7b766f06375420ac3e79a2df367f58a11dcc","committime":"2022-09-23T19:35:14","packageid":72119,"repoid":1,"summary":"dev-ml\/re: seq is provided by ocaml"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bd00a86b03e1c8db7f20d23ccb88dd2653a370ca","committime":"2022-07-19T01:01:44","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"17e337a8b24621b7dfae37ce3db0c0d453eb1946","committime":"2022-07-18T23:27:45","packageid":72119,"repoid":1,"summary":"dev-ml\/re: bump to 1.10.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b10639331f673d13e152b121eac38da1d326e0a0","committime":"2022-04-18T21:23:50","packageid":72119,"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":"eb95b1f9c9feff37c941814ec29a9e89f4c61809","committime":"2022-04-17T15:39:51","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Keyword 1.10.3 riscv, #835392"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f39b36bda30e9a806f6c990ca3621fd693f54c28","committime":"2022-03-03T21:36:55","packageid":72119,"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":"b453a66fd628db6f0ad23986ec9f40f3866857f5","committime":"2022-03-03T21:19:02","packageid":72119,"repoid":1,"summary":"dev-ml\/re: destabilise for ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d6f044bea2b85616863fb075bee06e410eae97eb","committime":"2021-10-06T01:21:19","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"e387c933eb9edb5f4819034a3a34864c3ce0ab5e","committime":"2021-10-06T00:38:12","packageid":72119,"repoid":1,"summary":"dev-ml\/re: add 1.10.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b79e58a17a842959eb4f7741abdea848555c87a8","committime":"2021-03-14T01:06:09","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b52106d5d394b32e33b6814303832005361ea955","committime":"2021-03-14T00:38:38","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.9.0 arm64, #772833"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"3cba64e32573431fe6491ee23f057bf644f65b14","committime":"2021-03-14T00:30:25","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.9.0 arm, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e1b8e8500d244d2df1c27825e1f62f7546d0f623","committime":"2021-03-13T15:36:16","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"775c939801c58ec5e5811b4aaa5805859f69d573","committime":"2021-03-12T16:09:51","packageid":72119,"repoid":1,"summary":"dev-ml\/re: drop 1.7.1 (oasis.eclass)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"47f90c84fb2a63c986fe1ac6bf367d50cf942ec1","committime":"2021-02-17T20:52:33","packageid":72119,"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":"54dd623d0aa484497cd32e28a9923818be24918f","committime":"2021-02-17T20:43:27","packageid":72119,"repoid":1,"summary":"dev-ml\/re: add version 1.7.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7ebe772e3d6e718c7a3daa31aab9aa86f1d48cc8","committime":"2021-02-11T06:52:40","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7d9c5f7ea05df6e9467a40fbb9917307af836ed3","committime":"2021-02-11T06:37:36","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"5645e37cb20939ecc4e074db0811879c810c5b52","committime":"2021-02-11T06:31:02","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.9.0 ppc, #769317"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"46c2a4a29442b6c33cea3b736d9ffa24e5736467","committime":"2021-02-11T06:25:15","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.9.0 x86, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b45b79ab2dc8417903ad6be83bb57ade817739f6","committime":"2021-02-10T19:07:47","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"90a14ff454cdf4fea253510beee78bff16ffb1fc","committime":"2021-02-10T18:51:59","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.9.0 amd64, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d8fef62db851a87ecbe505be32c86e962ca72ec4","committime":"2021-02-10T16:52:38","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"41443be4d905bfefdddacf271e6fbc15e478ff0c","committime":"2021-02-10T16:32:16","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Stabilize 1.9.0 ppc64, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"72c7a63cb821fab43dc0003564da720513547919","committime":"2021-01-27T20:32:30","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/751748\nPackage-Manager: Portage-3.0.13, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"a5b8faa9b31d3e5ae02d87b27ac5a7037318f663","committime":"2021-01-27T19:17:54","packageid":72119,"repoid":1,"summary":"dev-ml\/re: fix test dep"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"18b641e272f902f0c84870659062cc94139101aa","committime":"2020-10-28T04:05:16","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.8, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"7b39e57fbeb703b17791735ef9dd25b841745d18","committime":"2020-10-28T03:18:18","packageid":72119,"repoid":1,"summary":"dev-ml\/re: ppc64 keyworded (bug #748576)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e4f91163ee007b0193ba6f49c515fc79a344f1fe","committime":"2020-10-24T01:05:15","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"143bc83dcf94380f439937e8bbba0448aae30b09","committime":"2020-10-24T00:15:57","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Keyword 1.9.0 ppc, #748576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"695e42ebcafd0afc0feae7433edcdaa16337c816","committime":"2020-10-17T10:05:05","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.8, Repoman-3.0.1\nSigned-off-by: Sam James ","commitid":"36ca467372885150c80e717620523b31e812fae9","committime":"2020-10-17T09:32:05","packageid":72119,"repoid":1,"summary":"dev-ml\/re: MissingTestRestrict"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c","committime":"2020-10-13T13:23:50","packageid":72119,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Co-Author: Alexis Ballier \nPackage-Manager: Portage-3.0.8, Repoman-3.0.1\nSigned-off-by: Mark Wright ","commitid":"326ae2d473a769fb8bd59084ed5326ed20e53162","committime":"2020-10-13T06:54:09","packageid":72119,"repoid":1,"summary":"dev-ml\/re: Dependency of dev-ml\/cinaps"}],"dependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[841788,841788,860110,860110,860111,860111,876884,876884,876927],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[841788,860110,860111,876884,876927],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971}],"depending":[{"block":false,"categoryid":422,"description":"Genealogy software program with a Web interface","ebuildids":[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":314,"description":"Library to perform analysis on package repositories","ebuildids":[878099,878099],"firstseen":"2014-10-28T14:38:24.907655","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"dose3","packageid":62736},{"block":false,"categoryid":314,"description":"A source-based package manager for OCaml","ebuildids":[878880,878880,890587,890587],"firstseen":"2014-10-29T14:38:07.804099","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"opam","packageid":62741},{"block":false,"categoryid":314,"description":"Cram like framework for OCaml","ebuildids":[791880,791880],"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":"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":317,"description":"SPARK 2014 repository for the Why3 verification platform","ebuildids":[853673,853673],"firstseen":"2017-10-19T20:17:41.724443","name":"why3-for-spark","packageid":68094,"summary":"Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs."},{"block":false,"categoryid":314,"description":"A preprocessor-pretty-printer of ocaml","ebuildids":[884010,884010,884011,884011,884013,884013],"firstseen":"2020-05-13T14:37:21.796389","name":"camlp5","packageid":71135},{"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":"Core installer for opam packages","ebuildids":[877913,877913],"firstseen":"2020-10-13T14:25:05.132759","name":"opam-installer","packageid":72106},{"block":false,"categoryid":314,"description":"Base library and tools for ppx rewriters","ebuildids":[841366,841367,841370],"firstseen":"2020-10-13T14:25:05.132759","name":"ppxlib","packageid":72118},{"block":false,"categoryid":314,"description":"OCaml template engine almost compatible with Jinja2","ebuildids":[832533,832533,873847,873847,893182,893182],"firstseen":"2021-01-10T17:35:59.190559","name":"jingoo","packageid":72363},{"block":false,"categoryid":314,"description":"Micro-benchmarking library for OCaml","ebuildids":[861073,861073],"firstseen":"2021-01-24T17:42:06.236079","name":"core_bench","packageid":72433},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[782878,782878,845202,845202,854230,854230,869907,869907,877153,877153],"firstseen":"2021-12-12T02:08:52.137547","name":"why3","packageid":73747,"summary":"Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs."},{"block":false,"categoryid":314,"description":"Helpers for writing expectation tests","ebuildids":[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":[791989,791989,890249,890249],"firstseen":"2022-04-26T21:06:51.091117","name":"sexp_pretty","packageid":74897},{"block":false,"categoryid":314,"description":"Unix-specific portions of Core","ebuildids":[794349,794349],"firstseen":"2022-04-27T08:09:09.585612","name":"core_unix","packageid":74902},{"block":false,"categoryid":314,"description":"Static types for JSON APIs","ebuildids":[805243,805243,879342,879342],"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":314,"description":"A library for building correct HTML and SVG documents","ebuildids":[772689,772689,801220,801220,889446,889446],"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":450,"description":"Embeddable Lambda Prolog Interpreter in OCaml","ebuildids":[861005,861005,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":"Core libraries for opam","ebuildids":[845332,845332],"firstseen":"2024-11-21T19:30:56.827392","name":"opam-common","packageid":77867},{"block":false,"categoryid":314,"description":"Extra components that are not as closely vetted or as stable as Core","ebuildids":[861058,861058],"firstseen":"2025-04-21T09:46:22.499964","name":"core_extended","packageid":78293}],"ebuilds":[{"archs":["~amd64","~arm","~arm64","~ppc","~ppc64","~riscv","~x86"],"ebuildid":876884,"firstseen":"2025-09-24T11:03:29.047929","license":"LGPL-2-with-linking-exception","moddate":"2026-03-29T19:42:48","packageid":72119,"repoid":1,"slot":"0\/1.14.0","uses":["ocamlopt","test"],"version":"1.14.0"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc","~riscv"],"ebuildid":860111,"firstseen":"2025-04-12T13:58:09.768707","license":"LGPL-2-with-linking-exception","moddate":"2026-03-29T19:42:48","packageid":72119,"repoid":1,"slot":"0\/1.13.3","uses":["ocamlopt","test"],"version":"1.13.3-r2"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc","~riscv"],"ebuildid":860110,"firstseen":"2025-04-12T13:58:09.768707","license":"LGPL-2-with-linking-exception","moddate":"2026-03-29T19:42:48","packageid":72119,"repoid":1,"slot":"0\/1.13.0","uses":["ocamlopt","test"],"version":"1.13.0-r2"},{"archs":["~amd64","~arm","~arm64","~ppc","~ppc64","~riscv","~x86"],"ebuildid":841788,"firstseen":"2024-10-18T19:29:42.619931","license":"LGPL-2-with-linking-exception","moddate":"2026-03-29T19:42:48","packageid":72119,"repoid":1,"slot":"0\/1.12.0","uses":["ocamlopt","test"],"version":"1.12.0"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc","~riscv"],"ebuildid":876927,"firstseen":"2025-09-25T07:35:06.856508","license":"LGPL-2-with-linking-exception","moddate":"2026-03-29T19:42:48","packageid":72119,"repoid":1,"slot":"0\/1.11.0","uses":["ocamlopt","test"],"version":"1.11.0-r1"}],"masks":[],"package":{"categoryid":314,"description":"Regular expression library for OCaml","firstseen":"2020-10-13T14:25:05.132759","name":"re","packageid":72119},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[841788,841788,860110,860110,860111,860111,876884,876884,876927],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[841788,860110,860111,876884,876927],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/ocaml\/ocaml-re\/"],"uses":[{"defaultflag":true,"description":"Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable\/enable it at a global scale)","isdefault":true,"use":"ocamlopt"},{"description":"Enable dependencies and\/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)","isdefault":false,"use":"test"}]}