{"bugs":[],"categories":[{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":314,"name":"dev-ml","summary":"The dev-ml category contains libraries and utilities relevant to the ML programming language."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8096e172912ec6af67348d2ff74bfbbb6cc0fdcb","committime":"2025-04-20T18:05:10","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"69dd9f24a1882623408162fd2f6476e1521a3484","committime":"2025-04-20T17:58:43","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.18.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fd13df612449578f65612faa9ecbdd4789cecd4b","committime":"2025-02-15T12:48:27","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"7d4187c713edde5274746a0f0cadfc59d558538d","committime":"2025-02-15T12:29:18","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: keyword 3.16.1 for ~arm64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d98efb534483c66e6b97c8deec67ed80f08e4035","committime":"2024-11-16T17:18:22","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"d8995700eebea4612cd5027e83c20c01b4bf2226","committime":"2024-11-16T17:07:26","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: drop 2.9.1"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"e9c74c8fe0a7690239956555796fbdde54e09893","committime":"2024-11-16T17:04:37","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.16.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1299055d38118f614eb9dac47efc6f48287922df","committime":"2024-09-28T12:21:11","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"2201969961325768d9abfaf138b7e9114e997812","committime":"2024-09-28T11:44:44","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: drop 3.6.1, 3.7.1, 3.10.0, 3.11.1, 3.13.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8508a9b696794858bb1d0d4108eac08c4dabc703","committime":"2024-08-16T14:03:53","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"d072715a29447a46f0181fd39478722e4f9183de","committime":"2024-08-16T13:57:39","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Stabilize 3.16.0 ppc64, #937870"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"82973fbe4b3583994c399e48fb8373e2a3ada4d9","committime":"2024-08-13T20:26:35","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"09604f27f27c428274298feb8cd7e77ccb732d16","committime":"2024-08-13T20:01:20","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Stabilize 3.16.0 x86, #937870"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e03d398776d57bddbcedb7b2d4aff9c9a473a8a2","committime":"2024-08-13T19:48:48","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"f446cbc3dd8c6b2f2dc8a1dfbc276037c3f80041","committime":"2024-08-13T19:32:39","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Stabilize 3.16.0 amd64, #937870"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ba3bbff5ac621c973226a5523d5817a9a6e41d4b","committime":"2024-07-03T16:19:00","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"bf9e681c969dd580044695725ae1027beecf1d2a","committime":"2024-07-03T06:15:52","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.16.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ba3ab6f1c327e9b1207e10426d2187ae3042e48f","committime":"2024-07-02T07:33:59","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"0e55a7f691468c574fd5deda6514b2a938ae810f","committime":"2024-07-02T07:07:04","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.13.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"498010b24c5f58e8e82f6f94177da0059720378d","committime":"2024-06-08T14:33:59","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"972871dc6bdf3986c82cecca917258bfba914c56","committime":"2024-06-08T14:20:52","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Stabilize 3.10.0 amd64, #933822"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"6ea71489fd44ebf219448bd4eccbc6fabcc4ecf6","committime":"2024-06-08T14:20:46","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Stabilize 3.10.0 x86, #933822"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"cf9d4c921c4b454c3b097e2f94a34f756212b802","committime":"2024-06-08T14:20:41","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Stabilize 3.10.0 ppc64, #933822"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0009865bcf38dbb96742ab90b08ae6784b4d4294","committime":"2024-06-08T11:48:58","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"df362ac3fc825055b1b789148d9c634b6e49a691","committime":"2024-06-08T11:28:43","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.11.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"54a5fc82af212fe8b19e906654ea41747b2b31bb","committime":"2024-06-03T21:18:19","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"6a8a702a88db02f7cdc95bb65c22408ade92654e","committime":"2024-06-03T20:41:15","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: drop 3.2.0, 3.7.0, 3.8.0, 3.9.0, 3.9.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"27a34b0542f8abe886eb02c9071952c4adb03774","committime":"2023-08-16T13:31:36","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"69b95b2db8120eaa8d77be0792e2373c4cb629dc","committime":"2023-08-16T13:28:55","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Stabilize 2.9.3 arm, #896102"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1be1f734535674e441e7c7a8a3acf94946b31718","committime":"2023-08-02T20:01:40","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"b16d014884d2b6dfb91d4a94c3986b14237d7a0d","committime":"2023-08-02T19:35:43","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.10.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"98ecdacc53ba9a01ed26f4cf029849020d0c70c5","committime":"2023-07-11T17:18:44","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"7a9978d3b5c76c7eefb130b118203897e0fc858c","committime":"2023-07-11T16:49:15","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.9.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5db330e03059d22f9d6dfe52c8024e3626959c93","committime":"2023-07-03T19:16:51","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"895d5776bc29ab3596f27e73dc1e7acf473ba66f","committime":"2023-07-03T18:52:11","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.9.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"725aea3369b74e82c3354482afce43f032a48284","committime":"2023-06-24T12:46:50","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"030d2da6fe9a431c0b117b17cc923a4f7eca2b7e","committime":"2023-06-24T12:34:43","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Keyword 3.8.0 ppc64, #909073"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a669a38ee5ff4ac31a64e4dc68a2c9630ec47f05","committime":"2023-05-23T19:46:55","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"66b4b77935cc4874e254d6503f920b1c6758efda","committime":"2023-05-23T19:17:55","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.8.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"589101ab5557991f1ee285b2ac97ff93e69498e1","committime":"2023-05-20T17:03:57","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"59d45bda7ad26b42913cc04053af82d4c235847c","committime":"2023-05-20T16:45:13","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: stabilize 3.7.1 for amd64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"14117f99fdb09cbbb01dbca731f38305b411de8a","committime":"2023-04-16T08:46:51","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"685deb51df805b59e7e003c7eb20905a988ea65c","committime":"2023-04-16T08:25:38","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.7.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d726d3d782a933eb7015a5c275bdedf416b7c656","committime":"2023-03-17T14:16:48","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b758a62d63ec7a91896904e2148f24a4fe29ae58","committime":"2023-03-17T14:10:48","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Stabilize 3.6.1 amd64, #901677"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a6f1fb985aae376fab2c1bdf36ed43c0bf6edae5","committime":"2023-03-17T14:10:47","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Stabilize 3.6.1 x86, #901677"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bb343d357e7417b69d1e5ad21faa34d42e6098a7","committime":"2023-03-15T20:31:49","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"2ede6a0bd84c8d4708214fb98553e98d5c508600","committime":"2023-03-15T20:26:10","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Stabilize 2.9.3 ppc64, #896102"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"baed2cb1a37ec5da25b8c5c935c847f8182fdc14","committime":"2023-03-01T18:46:48","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"cfbc90435891fd1c0e27f514e56493af0e034c68","committime":"2023-03-01T18:40:21","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.7.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f85f645aca47fb56c089ecb4df77994d728e0d45","committime":"2023-02-24T16:16:55","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"58663b0662c4356a2106e3985cd8d7c86a614d2b","committime":"2023-02-24T16:14:08","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Stabilize 2.9.3 x86, #896102"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e01eaa58a26c17eed8dd6c281225e73a37892d3f","committime":"2023-02-23T23:46:53","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"711bbad7a98adca5753382a7ff430cf1756859bc","committime":"2023-02-23T23:37:50","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: Stabilize 2.9.3 amd64, #896102"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ea6f89b3507802cd9fb96750c1fad2a78ca99a2b","committime":"2022-12-16T22:02:13","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"f3946da2d63d30b9bcafa69a0628994da8a4510c","committime":"2022-12-16T21:40:03","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.6.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1e246f27c468ad768f68f3888396980e763e8052","committime":"2022-11-22T18:46:46","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"f80afee4de06a6f5fb77dd1fe8e27a75b2f2c291","committime":"2022-11-22T18:34:06","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: add 3.2.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c3935d21d79ba3da3b50482702697c61872ec159","committime":"2022-01-29T19:51:41","packageid":73734,"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":"8c9dba3020887288cbf78079f6b25ac449dfc7fe","committime":"2022-01-29T19:26:30","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: 2.9.3 bump"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"baeb7fcf8fb0a17747828abb3bcf4f2d483e1526","committime":"2021-12-11T03:06:34","packageid":73734,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"68c11d2c6e2d6b34d7999f1046864f030569beb0","committime":"2021-12-11T02:40:30","packageid":73734,"repoid":1,"summary":"dev-ml\/dune-build-info: new package; add version 2.9.1"}],"dependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[738060,831737,844947,861007],"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":[738060,831737,831737,844947,844947,861007,861007],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971}],"depending":[{"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":317,"description":"Computer-Aided Cryptographic Proofs","ebuildids":[840165,840165,854228,854228],"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."}],"ebuilds":[{"archs":["~amd64","~arm64","~ppc64","~x86"],"ebuildid":861007,"firstseen":"2025-04-20T19:22:34.457210","license":"MIT","moddate":"2025-04-20T18:22:33","packageid":73734,"repoid":1,"slot":"0\/3.18.1","uses":["ocamlopt"],"version":"3.18.1"},{"archs":["~amd64","~arm64","~ppc64","~x86"],"ebuildid":844947,"firstseen":"2024-11-16T17:26:44.130954","license":"MIT","moddate":"2025-02-15T13:00:53","packageid":73734,"repoid":1,"slot":"0\/3.16.1","uses":["ocamlopt"],"version":"3.16.1"},{"archs":["amd64","ppc64","x86"],"ebuildid":831737,"firstseen":"2024-07-03T17:22:37.476942","license":"MIT","moddate":"2024-10-08T16:04:50","packageid":73734,"repoid":1,"slot":"0\/3.16.0","uses":["ocamlopt"],"version":"3.16.0"},{"archs":["amd64","arm","ppc64","x86"],"ebuildid":738060,"firstseen":"2022-01-29T19:56:29.038960","license":"MIT","moddate":"2024-10-08T16:04:50","packageid":73734,"repoid":1,"slot":"0\/2.9.3","uses":["ocamlopt"],"version":"2.9.3"}],"masks":[],"package":{"categoryid":314,"description":"Embed locations informations inside executable and libraries","firstseen":"2021-12-11T03:24:12.701596","name":"dune-build-info","packageid":73734},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[738060,831737,844947,861007],"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":[738060,831737,831737,844947,844947,861007,861007],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971}],"repos":[{"branch":"master","lastcommit":"7c663c5474e807c61b8a73eb778373f38f1e4621","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/ocaml\/dune"],"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"}]}