914366 – dev-lang/dafny-bin-3.12.0: stabilization request

Bug 914366 - dev-lang/dafny-bin-3.12.0: stabilization request

Summary: dev-lang/dafny-bin-3.12.0: stabilization request

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Stabilization (show other bugs)
Hardware:	All Linux

Importance:	Normal normal (vote)
Assignee:	dotnet project

URL:
Whiteboard:
Keywords:	CC-ARCHES, STABLEREQ

Depends on:
Blocks:

Reported:	2023-09-17 20:08 UTC by Maciej Barć
Modified:	2023-09-18 00:17 UTC (History)
CC List:	0 users

See Also:
Package list:	dev-lang/dafny-bin-3.12.0 amd64
Runtime testing required:	---

Flags:	nattka: sanity-check+

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Maciej Barć gentoo-dev

2023-09-17 20:08:10 UTC

> slot(0) no change in 207 days for unstable keyword: [ ~amd64 ]
PGO database: https://packages.gentoo.org/packages/dev-lang/dafny-bin
Package list: dev-lang/dafny-bin-3.12.0 amd64
Stabilize for: amd64

Comment 1 Sam James archtester

2023-09-18 00:17:45 UTC

amd64 done

all arches done