{"bugs":[{"bugid":941624,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/easycrypt-2024.09 - [libtool] [gcc-15] make inconsistent assumptions over interface Nat"},{"bugid":942566,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/easycrypt-2024.09 - [gcc-15] Failed to run command: dune build @install --display=short --profile release -j 4"}],"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":"8ad574d71569836588cb2ac8323a304d5624624d","committime":"2026-03-24T16:45:54","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b1c5d9c6784e859c5ed96dd65755dc5922684504","committime":"2026-03-24T16:05:38","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2026.03"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"06736cc982eb484594e2c2c1aac4ea887f11e403","committime":"2025-11-16T20:45:56","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"185fd04ec1b4ad2b8471b75bf0348e155c511583","committime":"2025-11-16T19:34:31","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2025.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"39308616134266a471e17c0742cafadfc2515139","committime":"2025-10-25T21:03:49","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7e52fddef7d695b3e1ec368cee517a6003bda9a9","committime":"2025-10-25T18:32:36","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 2025.08"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"4652870500476a9fe549f90bea848503aa317662","committime":"2025-10-25T18:32:16","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 2025.03"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ff4ac62f58d134dda2d7af8fcf4623d5ed6a300a","committime":"2025-10-07T01:49:13","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"bcc528f60bbf7223b604a76840195179b5abc429","committime":"2025-10-06T21:14:09","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2025.10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"861aa9c1f8d37d2a6d06e4d80bfe27d990b06d1c","committime":"2025-09-29T10:33:37","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"c7465ad426d93a25706f9910970b15d8501f6c2b","committime":"2025-09-29T10:12:07","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop extra dev-lang\/ocaml"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4f22b6bb00350a8bebdc0657e274c29c73d2352e","committime":"2025-08-09T17:22:59","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ddc2b7f173bfdc6284ecad7d34a534073014b09d","committime":"2025-08-09T15:20:46","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2025.08"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"776f4a10e2825695b76eed64921542d5d4fac8a5","committime":"2025-08-09T14:40:21","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 2025.02"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c091d69d817cbe53cd1295f52f8083fb60bfe0a6","committime":"2025-07-01T00:52:15","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"630be77e9367e2b906d8a9f687590ee874db08fb","committime":"2025-06-30T23:27:36","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2025.03"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"72afca143ed4bbf97b7caa431a15765168a92217","committime":"2025-05-30T20:24:08","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"5fca2f3e4a3fa125d36016d0b1767e015d477234","committime":"2025-05-30T20:10:06","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop 2024.09"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"339a0ad8228444a7438329b0a9658941c922f46f","committime":"2025-02-16T22:48:30","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"604424dee45416007c1dcee4db77d42aa87f7dc3","committime":"2025-02-16T22:25:00","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2025.02"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e2de8c4c94859ff4ebfa395d8b05707427cf9356","committime":"2025-02-09T21:03:26","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"da93ddc35d88cb877c873fa1240fa5c8cdf872e6","committime":"2025-02-09T14:11:32","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 2024.01-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2814d6c07467fad36d276287f8e65970b9f337eb","committime":"2024-10-06T20:03:12","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"1dbb8ef709f77bc430ef5384ea32842541469fb3","committime":"2024-10-06T19:18:26","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2024.09"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4fb25d0a3be9ee43003c0bbf7208b566df7b9917","committime":"2024-07-02T15:03:48","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"0b5c2a947e418884e661eb0a46097a8bc4c3736b","committime":"2024-07-02T13:49:57","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 2023.09"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/935344\nSigned-off-by: Maciej Barć ","commitid":"c51e0da237da1b3bca1d52b814009f298af4e071","committime":"2024-07-02T13:49:15","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: restrict num to version <1.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b29dcc029599304cf82d2f24a2b0d7545a610338","committime":"2024-02-03T13:18:21","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d9f21a4c28dba8bd717f6978a212e88fbf4a7e38","committime":"2024-02-03T12:56:41","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2024.01"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6ae753304c2c5dd621d5381313b804e6a0d1bac2","committime":"2024-02-03T12:51:40","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 2022.04_p20230324"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"af5d6c40538b33baa2d55aefd1a1c2904d5c7506","committime":"2023-09-30T14:46:33","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3c174a5622784b7f7193c2983a023666028ede4e","committime":"2023-09-30T14:33:59","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2023.09"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3bb1911b194b46a11dec2ab18c8e2e05ba47dec7","committime":"2023-07-15T22:31:50","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"66dc6979263520ad756d440d235757a87e760b3e","committime":"2023-07-15T21:52:59","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 2022.04_p20220505"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"64bb5f74af3bc6dd3396d6f48a5f9a5e4ce4e8bc","committime":"2023-04-01T23:01:53","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"35adc1abdd9496d6e88f54e0a4b8090ee97d018e","committime":"2023-04-01T22:54:46","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 2022.04-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7de9d171829a24726d934bacaf2acf4778e9a05f","committime":"2023-04-01T22:54:31","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 1.0_pre20220303-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"dcb89895710ce9e8cdbd858121961170c34afac9","committime":"2023-04-01T22:54:13","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2022.04_p20230324"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2b4f317a7f1b2bfb879aa021699818fa9d20c89c","committime":"2023-02-02T18:02:00","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"83f6d3ed4097525d17521208136b0f7d8890009f","committime":"2023-02-02T17:45:39","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: H -> COMMIT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0969191eb393098af56b89858d896357eabf3156","committime":"2022-05-07T17:03:02","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"800228a625526f5b8f2029ae30eea0e9d168a274","committime":"2022-05-07T16:47:55","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: add Why3 constraints for older EC versions"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e48f8307eb46e419d5acad13956322f79e6f9249","committime":"2022-05-07T16:46:35","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 1.0_pre20211210-r2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8c9c85bc0fcfdd20764d22e98bf89018864b284e","committime":"2022-05-07T16:45:43","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2022.04_p20220505"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"af89be57ca19fe4ed42c3cff536f31cb29f807a4","committime":"2022-04-27T16:03:21","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/841254\nSigned-off-by: Maciej Barć ","commitid":"4b39c369931b1d56fd261213476167b315abea8c","committime":"2022-04-27T15:43:40","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2022.04"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"24bec2839d0a3c0eb611743b026001bddd949ef8","committime":"2022-03-04T11:21:58","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"60fa98b0f077135148088bfe62e484e3988089a4","committime":"2022-03-04T11:12:03","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"46cc083fc95c8f752a17ecbd02cfd294f4084bd1","committime":"2022-01-30T00:51:41","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"a7fa452ea0b84128bd45f820f62f340032bbe299","committime":"2022-01-30T00:37:44","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: fix theories location; bump to EAPI 8"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dc0ab5f1eae9510f15fa1745cc142f3cfec35ee9","committime":"2021-12-12T07:21:29","packageid":73746,"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":"9a4bc2c24c5d479fa9a5dfaccb8bde97d4434178","committime":"2021-12-12T07:12:21","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: fix ocaml dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9e642b2fe6a9ce63661616b43e40340ce24efc2d","committime":"2021-12-12T02:05:45","packageid":73746,"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":"4f0a8bfd6989606dd292287880358a0f79aa4a49","committime":"2021-12-12T01:41:39","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: new package; add version 1.0_pre20211210"}],"dependencies":[{"block":false,"categoryid":314,"description":"Compressed file access ML library (ZIP, GZIP and JAR)","ebuildids":[878108,882277,893517],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camlzip","packageid":47766},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[878108,882277,893517],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"JSON parsing and pretty-printing library for OCaml","ebuildids":[878108,882277,893517],"firstseen":"2015-02-15T14:38:09.385452","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"yojson","packageid":63076},{"block":false,"categoryid":314,"description":"Arithmetic and logic operations over arbitrary-precision integers","ebuildids":[878108,882277,893517],"firstseen":"2015-09-20T13:38:44.780852","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"zarith","packageid":64116},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[878108,882277,893517],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[878108,882277,893517],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"A community-maintained standard library extension","ebuildids":[878108,882277,893517],"firstseen":"2021-12-04T15:53:08.392601","name":"batteries","packageid":73702},{"block":false,"categoryid":314,"description":"Embed locations informations inside executable and libraries","ebuildids":[878108,882277,893517],"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":[878108,882277,893517],"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":[878108,882277,893517],"firstseen":"2021-12-11T03:24:12.701596","name":"ocaml-inifiles","packageid":73736},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[878108,882277,893517],"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":"Stream and Genlex libraries for use with Camlp4 and Camlp5","ebuildids":[878108,882277,893517],"firstseen":"2022-04-04T17:52:23.540825","name":"camlp-streams","packageid":74733},{"block":false,"categoryid":314,"description":"A library for building correct HTML and SVG documents","ebuildids":[893517],"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 bindings to PCRE (Perl Compatibility Regular Expressions)","ebuildids":[878108,882277,893517],"firstseen":"2025-07-18T20:29:48.324422","name":"pcre2-ocaml","packageid":78438},{"block":false,"categoryid":314,"description":"Markdown parser and printer in OCaml","ebuildids":[893517],"firstseen":"2026-03-24T16:49:13.684226","name":"ocaml-markdown","packageid":78879}],"depending":[],"ebuilds":[{"archs":["~amd64"],"ebuildid":893517,"firstseen":"2026-03-24T16:49:13.684226","license":"MIT","moddate":"2026-03-29T19:42:48","packageid":73746,"repoid":1,"slot":"0\/2026.03","uses":["ocamlopt"],"version":"2026.03"},{"archs":["~amd64"],"ebuildid":882277,"firstseen":"2025-11-16T21:02:41.363226","license":"MIT","moddate":"2026-03-29T19:42:48","packageid":73746,"repoid":1,"slot":"0\/2025.11","uses":["ocamlopt"],"version":"2025.11"},{"archs":["~amd64"],"ebuildid":878108,"firstseen":"2025-10-07T02:51:14.332521","license":"MIT","moddate":"2026-03-29T19:42:48","packageid":73746,"repoid":1,"slot":"0\/2025.10","uses":["ocamlopt"],"version":"2025.10"}],"masks":[],"package":{"categoryid":317,"description":"Computer-Aided Cryptographic Proofs","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."},"rdependencies":[{"block":false,"categoryid":314,"description":"Compressed file access ML library (ZIP, GZIP and JAR)","ebuildids":[878108,882277,893517],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camlzip","packageid":47766},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[878108,882277,893517],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"JSON parsing and pretty-printing library for OCaml","ebuildids":[878108,882277,893517],"firstseen":"2015-02-15T14:38:09.385452","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"yojson","packageid":63076},{"block":false,"categoryid":314,"description":"Arithmetic and logic operations over arbitrary-precision integers","ebuildids":[878108,882277,893517],"firstseen":"2015-09-20T13:38:44.780852","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"zarith","packageid":64116},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[878108,882277,893517],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[878108,882277,893517],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"A community-maintained standard library extension","ebuildids":[878108,882277,893517],"firstseen":"2021-12-04T15:53:08.392601","name":"batteries","packageid":73702},{"block":false,"categoryid":314,"description":"Embed locations informations inside executable and libraries","ebuildids":[878108,882277,893517],"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":[878108,882277,893517],"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":[878108,882277,893517],"firstseen":"2021-12-11T03:24:12.701596","name":"ocaml-inifiles","packageid":73736},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[878108,882277,893517],"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":"Stream and Genlex libraries for use with Camlp4 and Camlp5","ebuildids":[878108,882277,893517],"firstseen":"2022-04-04T17:52:23.540825","name":"camlp-streams","packageid":74733},{"block":false,"categoryid":314,"description":"A library for building correct HTML and SVG documents","ebuildids":[893517],"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 bindings to PCRE (Perl Compatibility Regular Expressions)","ebuildids":[878108,882277,893517],"firstseen":"2025-07-18T20:29:48.324422","name":"pcre2-ocaml","packageid":78438},{"block":false,"categoryid":314,"description":"Markdown parser and printer in OCaml","ebuildids":[893517],"firstseen":"2026-03-24T16:49:13.684226","name":"ocaml-markdown","packageid":78879}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/EasyCrypt\/easycrypt\/"],"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"}]}