920501 – dev-lang/boogie-3.0.6: stablereq

Bug 920501 - dev-lang/boogie-3.0.6: stablereq

Summary: dev-lang/boogie-3.0.6: 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:

Reported:	2023-12-21 23:52 UTC by Maciej Barć
Modified:	2023-12-27 23:44 UTC (History)
CC List:	1 user (show)

See Also:
Package list:	=dev-lang/boogie-3.0.6
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-12-21 23:52:28 UTC

Please stabilize

Comment 1 Larry the Git Cow gentoo-dev

2023-12-27 23:44:43 UTC

The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=379ebb1dcdddb97cadf0bcadfeea7ca652035bfa

commit 379ebb1dcdddb97cadf0bcadfeea7ca652035bfa
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2023-12-27 23:36:59 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2023-12-27 23:44:39 +0000

    dev-lang/boogie: Stabilize 3.0.6 amd64, #920501
    
    Closes: https://bugs.gentoo.org/920501
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 dev-lang/boogie/boogie-3.0.6.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)