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