930159 – dev-lang/boogie-3.1.3: stablereq

Bug 930159 - dev-lang/boogie-3.1.3: stablereq

Summary: dev-lang/boogie-3.1.3: stablereq

Status:	RESOLVED FIXED

Alias:	None

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

Importance:	Normal enhancement (vote)
Assignee:	dotnet project

URL:
Whiteboard:
Keywords:	CC-ARCHES, STABLEREQ

Depends on:
Blocks:

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

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

2024-04-17 23:10:49 UTC

amd64 done

all arches done