Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-ml
The dev-ml category contains libraries and utilities relevant to the ML programming language.
Packages
Stabilization
22
Outdated
45
Pull requests
2
Bugs
35
Security
0
Bug Reports
dev-ml/ocaml-json-{wheel,static} ebuilds
250274 - Assigned to Gentoo Team for the ML programming language family
dev-ml/typerex-1.0.1 - An OCaml development environment for emacs (new package)
408419 - Assigned to Gentoo Team for the ML programming language family
dev-ml/ocaml-libvirt - Ocaml bindings for libvirt
462100 - Assigned to Gentoo Team for the ML programming language family
dev-ml/ocaml-bitstring - request new package from ibormuth overlay
466648 - Assigned to Gentoo Team for the ML programming language family
dev-ml/herodotos - tool to correlate occurrences of code patterns across multiple versions of a software project
545880 - Assigned to Gentoo Team for the ML programming language family
dev-ml/stdlib-shims does not respect CFLAGS
729452 - Assigned to Rafael Kitover
dev-ml/ocamlbuild-0.14.0-r1 - fails several tests
749975 - Assigned to Gentoo Team for the ML programming language family
dev-ml/lablgtk:2 depends on app-text/gtkspell:2 and x11-libs/gtk+:2
769287 - Assigned to Gentoo Team for the ML programming language family
dev-ml/llvm-ocaml: uses hardcoded CC from OCaml build-time
781851 - Assigned to LLVM support project
dev-ml/opam-core-2.0.8-r1 fails to compile
804082 - Assigned to Gentoo Team for the ML programming language family
dev-ml/jsonm-1.0.1 - ocamlfind: _build/.../jsonm.a: No such file or directory
804100 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
dev-ml/ppx_js_style-0.14.0 - Error: This expression has type Ocaml_common.Warnings.alert option
817131 - Assigned to Gentoo Team for the ML programming language family
dev-ml/gsl-ocaml-1.24.3-r1 - Fatal error: exception Sys_error(gsl_include.sexp: No such file or directory)
822318 - Assigned to Gentoo Science Related Packages
dev-ml/extlib-1.7.8 - Error: This expression has type bytes but an expression was expected of type
829611 - Assigned to Gentoo musl team
dev-ml/opam: tries to use bubblewrap (was: dev-ml/opam-2.1.2 fails test)
838658 - Assigned to Gentoo Team for the ML programming language family
dev-ml/llvm-ocaml-16.0.5 - One or more CMake variables were not used by the project:
869041 - Assigned to LLVM support project
dev-ml/opam-format-2.1.2-r1 fails tests
872587 - Assigned to Gentoo Team for the ML programming language family
dev-ml/ocurl-0.9.2 - ocamlfind: Package seq not found - required by lwt
872626 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
dev-ml/xml-light-2.2-r3 - Error: Unbound module Xml_parser
880055 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
dev-ml/lablgl-1.06-r1 - ml_glu.c: fatal error: gl_tags.h: No such file or directory
881013 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
dev-ml/ocamlfuse-2.7.1_p7-r1 - [ERROR] Opam has not been initialised, please run opam init
882375 - Assigned to Gentoo Team for the ML programming language family
dev-ml/camlpdf-2.3.1 - Error: Unbound module Pdfunits
882485 - Assigned to Ivan Lloro
dev-ml/lablgl-1.06-r1 - ml_glarray.c: fatal error: raw_tags.h: No such file or directory
884279 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
dev-ml/ppx_deriving-5.2.1 fails to compile (CLANG-STRICTER-SYSTEM): Error: Files findlib_dynload.cmxa
886589 - Assigned to Gentoo Team for the ML programming language family
dev-ml/ocaml_intrinsics-0.15.2: Target not supported on riscv
893612 - Assigned to Gentoo Team for the ML programming language family
dev-ml/cppo-1.6.7 fail to compile: Error: Library "ocamlbuild" not found.
896386 - Assigned to Gentoo Team for the ML programming language family
dev-ml/opam-installer-2.1.2-r1: fails tests
901729 - Assigned to Gentoo Team for the ML programming language family
dev-ml/gsl-ocaml-1.24.3-r1 - Failed to run command: dune build @install --display=short --profile release -j 5
911874 - Assigned to Gentoo Science Related Packages
dev-ml/async_extra-0.14.0 - ppx.exe: unknown option '-check-doc-comments'.
916131 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
=dev-ml/dune-2.9.3-r3 fails tests
918639 - Assigned to Gentoo Team for the ML programming language family
dev-ml/facile-1.1.4 - Failed to run command: dune build @install --display=short --profile release -j 4
922969 - Assigned to Gentoo Team for the ML programming language family
dev-ml/coq-menhirlib-20220210 - Error: The variable gt_trans was not found in the current environment.
923844 - Assigned to Gentoo Team for the ML programming language family
dev-ml/ocaml-gettext-0.3.7-r3 fails to compile: Error: Unbound module CamomileLibraryDefault
924485 - Assigned to Rafael Kitover
dev-ml/lablgtk-3.1.5 fails to compile: Error: Library camlp-streams not found
934961 - Assigned to Gentoo Team for the ML programming language family
dev-ml/ocaml-ctypes-0.21.1-r2 will fail to build if dev-lang/ocaml is built with -flto under clang-18
936947 - Assigned to Gentoo Team for the ML programming language family
Stabilization Bug Reports
dev-ml/dune-2.9.3-r3: stabilisation
896102 - Assigned to Gentoo Team for the ML programming language family
dev-ml/lwt-5.7.0, dev-ml/luv-0.5.11-r2: stablereq
915368 - Assigned to Gentoo Team for the ML programming language family
Keywording Bug Reports
dev-ml/async_unix: rekeywording
909070 - Assigned to Gentoo Team for the ML programming language family
dev-ml/core_bench: rekeywording
909071 - Assigned to Gentoo Team for the ML programming language family
dev-ml/alcotest: rekeywording
909074 - Assigned to Gentoo Team for the ML programming language family
Description
Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs:
File a new Bug
Confirm a bug
Participate in our monthly Bugday
Shortcuts
Packages Bugs (35)
Stabilization Bugs (2)
Keywording Bugs (3)