Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 930159

Summary:	dev-lang/boogie-3.1.3: stablereq
Product:	Gentoo Linux	Reporter:	Maciej Barć <xgqt>
Component:	Stabilization	Assignee:	dotnet project <dotnet>
Status:	RESOLVED FIXED
Severity:	enhancement	CC:	xgqt
Priority:	Normal	Keywords:	CC-ARCHES, STABLEREQ
Version:	unspecified	Flags:	nattka: sanity-check+
Hardware:	All
OS:	Linux
Whiteboard:
Package list:	=dev-lang/boogie-3.1.3	Runtime testing required:	---

Description Maciej Barć gentoo-dev

gentoo-dev

2024-04-17 18:34:14 UTC

Please stabilize

 dev-lang/boogie-3.1.3: no change for 35 days, since 2024-03-13

Comment 1 Sam James archtester

archtester

Gentoo Infrastructure

gentoo-dev

Security

2024-04-17 23:10:49 UTC

amd64 done

all arches done