> slot(0) no change in 82 days for unstable keyword: [ ~amd64 ] PGO database: https://packages.gentoo.org/packages/sci-mathematics/lean Package list: sci-mathematics/lean-3.51.1 amd64 Stabilize for: amd64
amd64 done all arches done