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

Bug 942018

Summary:	dev-lang/dafny-bin-4.8.1: 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/dafny-bin-4.8.1	Runtime testing required:	---

Description Maciej Barć gentoo-dev

gentoo-dev

2024-10-23 14:34:44 UTC

Please stabilize

 dev-lang/dafny-bin-4.8.1: no change for 30 days, since 2024-09-23

Comment 1 Sam James archtester

archtester

Gentoo Infrastructure

gentoo-dev

Security

2024-10-23 16:48:05 UTC

amd64 done

all arches done