{"bugs":[{"bugid":949385,"firstseen":"2025-02-07T08:55:54.168729","severity":"normal","status":"CONFIRMED","summary":"dev-ml\/zmq-5.3.0 - [texlive] [meson] [gcc-15] make inconsistent assumptions over interface Unix"}],"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":320,"name":"net-libs","summary":"The net-libs category contains libraries that are network-related."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7fe4aab7a4f9d8878c166c1733efa8ea0daf4639","committime":"2024-10-24T17:03:45","packageid":76224,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"acc99350ade46d6e2f537f537fd1e455905dd08a","committime":"2024-10-24T16:56:58","packageid":76224,"repoid":1,"summary":"dev-ml\/zmq: add 5.3.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9c13e921e9216e00b2b32938aea82fb71f780f01","committime":"2023-06-30T13:46:54","packageid":76224,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"28667599c31fa5793d06db77e53aac666690634b","committime":"2023-06-30T13:19:44","packageid":76224,"repoid":1,"summary":"dev-ml\/zmq: fix DEPEND"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9ac507ca399e73ff79dd7fc30742a4a45ec7f699","committime":"2023-06-03T16:01:55","packageid":76224,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6ec1818c0ac62fbd8831dc569f8be7bd64cd067e","committime":"2023-06-03T15:06:19","packageid":76224,"repoid":1,"summary":"dev-ml\/zmq: new package; add 5.2.1"}],"dependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[789085,842340],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":320,"description":"High-performance asynchronous messaging library","ebuildids":[789085,842340],"firstseen":"2010-09-26T14:33:57.484555","name":"zeromq","packageid":56331,"summary":"The 0MQ lightweight messaging kernel is a library which extends the standard socket interfaces with features traditionally provided by specialised messaging middleware products. 0MQ sockets provide an abstraction of asynchronous message queues, multiple messaging patterns, message filtering (subscriptions), seamless access to multiple transport protocols and more."},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[789085,842340],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971}],"depending":[{"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."}],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":842340,"firstseen":"2024-10-24T18:20:11.499519","license":"MIT","moddate":"2024-10-24T17:20:10","packageid":76224,"repoid":1,"slot":"0\/5.3.0","uses":["ocamlopt","test"],"version":"5.3.0"},{"archs":["~amd64","~x86"],"ebuildid":789085,"firstseen":"2023-06-03T17:49:12.945157","license":"MIT","moddate":"2024-10-08T16:04:50","packageid":76224,"repoid":1,"slot":"0\/5.2.1","uses":["ocamlopt","test"],"version":"5.2.1"}],"masks":[],"package":{"categoryid":314,"description":"OCaml bindings for ZeroMQ 4.x","firstseen":"2023-06-03T17:49:12.945157","name":"zmq","packageid":76224},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[789085,842340],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":320,"description":"High-performance asynchronous messaging library","ebuildids":[789085,842340],"firstseen":"2010-09-26T14:33:57.484555","name":"zeromq","packageid":56331,"summary":"The 0MQ lightweight messaging kernel is a library which extends the standard socket interfaces with features traditionally provided by specialised messaging middleware products. 0MQ sockets provide an abstraction of asynchronous message queues, multiple messaging patterns, message filtering (subscriptions), seamless access to multiple transport protocols and more."},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[789085,842340],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971}],"repos":[{"branch":"master","lastcommit":"e8caad39d3b154c1a0421bb9baa8619654bff6e9","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/issuu\/ocaml-zmq\/"],"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"}]}