Bug 912296

Summary:	sci-mathematics/coq-8.17.1: stabilization request
Product:	Gentoo Linux	Reporter:	Maciej Barć <xgqt>
Component:	Stabilization	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	RESOLVED FIXED
Severity:	normal	Keywords:	CC-ARCHES, STABLEREQ
Priority:	Normal	Flags:	nattka: sanity-check+
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:	sci-mathematics/coq-8.17.1 amd64	Runtime testing required:	---

Description Maciej Barć gentoo-dev

2023-08-15 12:00:48 UTC

> 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

Comment 1 Sam James archtester

2023-08-16 02:19:44 UTC

amd64 done

all arches done