932859 – dev-lang/boogie-3.1.5: stablereq

Bug 932859 - dev-lang/boogie-3.1.5: stablereq

Summary: dev-lang/boogie-3.1.5: stablereq

Status:	RESOLVED FIXED

Alias:	None

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

Importance:	Normal enhancement
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-05-27 20:48:46 UTC

Please stabilize

 dev-lang/boogie-3.1.5: no change for 33 days, since 2024-04-24

Comment 1 Jakov Smolić archtester

2024-05-29 06:25:27 UTC

amd64 done

all arches done