Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
Gentoo Project
Mathematics Project
Packages
107
Stabilization
10
Outdated
19
Pull requests
3
Bugs
27
Security
2
Changelog
Stable Requests
dev-libs/ntl-11.5.1-r2
slot(0) no change in 222 days for unstable keywords: [ ~amd64, ~ppc, ~x86 ]
sci-libs/hypre-2.24.0
slot(0) no change in 231 days for unstable keyword: [ ~amd64 ]
sci-mathematics/alt-ergo-2.4.2-r1
slot(0) no change in 126 days for unstable keyword: [ ~amd64 ]
sci-mathematics/coq-8.16.1
slot(0) no change in 63 days for unstable keywords: [ ~amd64, ~x86 ]
sci-mathematics/jags-4.3.1
slot(0) no change in 67 days for unstable keywords: [ ~amd64, ~x86 ]
sci-mathematics/lean-3.50.3
slot(0) no change in 32 days for unstable keyword: [ ~amd64 ]
sci-mathematics/polymake-4.8
slot(0) no change in 38 days for unstable keywords: [ ~amd64, ~x86 ]
sci-mathematics/unuran-1.9.0
slot(0) no change in 56 days for unstable keywords: [ ~amd64, ~x86 ]
sci-mathematics/wxmaxima-22.09.0
slot(0) no change in 123 days for unstable keywords: [ ~amd64, ~x86 ]
Description
This page lists potential stabilization candidates. Please have a look at the
wiki page
for more information.