{"bugs":[{"bugid":909732,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/kind2-1.9.0 - ERROR: sci-mathematics\/kind2-1.9.0::gentoo failed (compile phase):"},{"bugid":960250,"firstseen":"2025-07-15T19:03:18.817498","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/kind2-1.9.0 - [jdk25] Failed to run command: dune"}],"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":"9ba438f91b780351b66aae250c6bfad722c80fbb","committime":"2023-06-03T17:01:54","packageid":76227,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"267fe5e4e1b5c504da69597a3fe054220a033234","committime":"2023-06-03T16:51:22","packageid":76227,"repoid":1,"summary":"sci-mathematics\/kind2: new package; add 1.9.0"}],"dependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[789128],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"LR(1) parser generator for the OCaml language","ebuildids":[789128],"firstseen":"2013-02-08T14:36:53.188287","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"menhir","packageid":60329},{"block":false,"categoryid":314,"description":"JSON parsing and pretty-printing library for OCaml","ebuildids":[789128],"firstseen":"2015-02-15T14:38:09.385452","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"yojson","packageid":63076},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[789128],"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":[789128],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"OCaml bindings for ZeroMQ 4.x","ebuildids":[789128],"firstseen":"2023-06-03T17:49:12.945157","name":"zmq","packageid":76224}],"depending":[],"ebuilds":[{"archs":["~amd64"],"ebuildid":789128,"firstseen":"2023-06-03T18:09:22.830387","license":"Apache-2.0","moddate":"2026-03-29T19:42:48","packageid":76227,"repoid":1,"slot":"0\/1.9.0","uses":["ocamlopt","test"],"version":"1.9.0"}],"masks":[],"package":{"categoryid":317,"description":"Multi-engine SMT-based automatic model checker","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."},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[789128],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"LR(1) parser generator for the OCaml language","ebuildids":[789128],"firstseen":"2013-02-08T14:36:53.188287","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"menhir","packageid":60329},{"block":false,"categoryid":314,"description":"JSON parsing and pretty-printing library for OCaml","ebuildids":[789128],"firstseen":"2015-02-15T14:38:09.385452","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"yojson","packageid":63076},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[789128],"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":[789128],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"OCaml bindings for ZeroMQ 4.x","ebuildids":[789128],"firstseen":"2023-06-03T17:49:12.945157","name":"zmq","packageid":76224}],"repos":[{"branch":"master","lastcommit":"1f58741385367db432e79500a838ced67b2a773d","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/kind2-mc\/kind2\/","https:\/\/kind2-mc.github.io\/kind2\/"],"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"}]}