Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Bug 805470
sci-mathematics/z3-4.8.11b: stablereq
Last modified: 2021-08-06 00:29:41 UTC node [vulture]
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
Bug 805470
-
sci-mathematics/z3-4.8.11b: stablereq
Summary:
sci-mathematics/z3-4.8.11b: stablereq
Status
:
RESOLVED FIXED
Alias:
None
Product:
Gentoo Linux
Classification:
Unclassified
Component:
Stabilization (
show other bugs
)
Hardware:
All Linux
I
mportance
:
Normal enhancement
(
vote
)
Assignee:
Mark Wright
URL:
Whiteboard:
Keywords:
CC-ARCHES
Depends on:
Blocks:
Reported:
2021-07-31 09:32 UTC by
Michał Górny
Modified:
2021-08-06 00:29 UTC (
History
)
CC List:
2 users
(
show
)
mgorny
sci
See Also:
Package list:
sci-mathematics/z3-4.8.11b
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
Michał Górny
2021-07-31 09:32:27 UTC
Please stabilize.
Comment 1
Sam James
2021-08-01 07:20:59 UTC
ppc64 done
Comment 2
Sam James
2021-08-02 02:17:50 UTC
amd64 done
Comment 3
Sam James
2021-08-02 02:23:42 UTC
arm done
Comment 4
Agostino Sarubbo
2021-08-03 15:37:19 UTC
x86 stable
Comment 5
Sam James
2021-08-06 00:29:41 UTC
arm64 done all arches done
Format For Printing
-
XML
-
Clone This Bug
-
Clone In The Same Product
-
Top of page