Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

dev-ml

The dev-ml category contains libraries and utilities relevant to the ML programming language.

Stable Requests

Atom feed   Plain Text JSON file XML file
    • dev-ml/camlp5-8.03.01
      slot(0) no change in 38 days for unstable keywords: [ ~amd64, ~arm, ~arm64, ~ppc64, ~x86 ]
    • dev-ml/camlzip-1.12
      slot(1) no change in 38 days for unstable keywords: [ ~amd64, ~arm, ~arm64, ~ppc64, ~x86 ]
    • dev-ml/cppo-1.7.0
      slot(0) no change in 38 days for unstable keywords: [ ~amd64, ~arm, ~arm64, ~ppc64, ~x86 ]
    • dev-ml/extlib-1.8.0
      slot(0) no change in 38 days for unstable keywords: [ ~amd64, ~arm, ~arm64, ~ppc64, ~x86 ]
    • dev-ml/lwt-5.8.0
      slot(0) no change in 36 days for unstable keywords: [ ~amd64, ~arm, ~arm64, ~ppc64, ~x86 ]
    • dev-ml/mccs-1.1.18
      slot(0) no change in 36 days for unstable keywords: [ ~amd64, ~arm, ~arm64, ~ppc64, ~x86 ]
    • dev-ml/mtime-2.1.0
      slot(0) no change in 36 days for unstable keywords: [ ~amd64, ~arm, ~arm64, ~ppc64, ~x86 ]
    • dev-ml/pp-2.0.0
      slot(0) no change in 36 days for unstable keywords: [ ~amd64, ~arm, ~arm64, ~ppc64, ~x86 ]
    • dev-ml/re-1.12.0
      slot(0) no change in 35 days for unstable keywords: [ ~amd64, ~arm, ~arm64, ~ppc64, ~x86 ]
    • dev-ml/uuidm-0.9.9
      slot(0) no change in 34 days for unstable keywords: [ ~amd64, ~arm, ~arm64, ~ppc64, ~x86 ]

This page lists potential stabilization candidates. Please have a look at the wiki page for more information.