917307 – dev-lang/dafny-4.3.0-r1: stabilization request

Bug 917307 - dev-lang/dafny-4.3.0-r1: stabilization request

Summary: dev-lang/dafny-4.3.0-r1: 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-11-13 17:46 UTC by Maciej Barć
Modified:	2023-11-13 22:03 UTC (History)
CC List:	0 users

See Also:
Package list:	virtual/dotnet-sdk-6.0-r2 amd64 virtual/dotnet-sdk-7.0-r1 amd64 dev-dotnet/coco-2014.12.24-r2 amd64 dev-lang/boogie-3.0.5 amd64 dev-lang/dafny-4.3.0-r1 amd64 dev-dotnet/dotnet-sdk-bin-6.0.404-r1 amd64 dev-dotnet/csharp-gentoodotnetinfo-1.1.1 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-11-13 17:46:58 UTC

1st from-source build of .NET package stabilization request.


Packages:
virtual/dotnet-sdk-6.0-r2
dev-dotnet/coco-2014.12.24-r2
dev-lang/boogie-3.0.5
dev-lang/dafny-4.3.0-r1
dev-dotnet/dotnet-sdk-bin-6.0.404-r1
dev-dotnet/csharp-gentoodotnetinfo-1.1.1

Comment 1 Sam James archtester

2023-11-13 22:03:59 UTC

amd64 done

all arches done