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
83
Outdated
50
Pull requests
4
Bugs
70
Security
2
Pull Requests
dev-ml/alcotest: stabilize 1.9.1 for amd64, drop redundant versions
assigned
no bug found
2
#2302 opened 2026-11-03T11:37:01+01:00 by fogti
cpdf & camlpdf update and stabilization
assigned
self-maintained
2
#46973 opened 2026-11-02T04:28:23Z by IvanLloro
dev-ml/zarith: fix LDFLAGS forwarding to ocamlmklib
assigned
bug linked
5
#46910 opened 2026-10-18T04:48:25Z by donjuanplatinum
dev-ml/*: remove vendored `csexp` and `pp` before the build process
assigned
bug linked
14
#38801 opened 2024-09-28T08:03:25Z by toku-sa-n
Description
If you also like to help the Gentoo project, you can consider sending a Pull Request via Codeberg.
Before doing so, you might want to take a look at
the wiki page
.
Packages