Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Bug 840665
sci-mathematics/z3-4.8.15-r1: stablereq
Last modified: 2022-04-26 14:01:10 UTC node [vulture]
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
Bug 840665
-
sci-mathematics/z3-4.8.15-r1: stablereq
Summary:
sci-mathematics/z3-4.8.15-r1: 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:
2022-04-24 20:25 UTC by
Michał Górny
Modified:
2022-04-26 14:01 UTC (
History
)
CC List:
2 users
(
show
)
mgorny
sci
See Also:
Package list:
sci-mathematics/z3-4.8.15-r1
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
2022-04-24 20:25:40 UTC
Please stabilize.
Comment 1
Sam James
2022-04-25 02:40:12 UTC
amd64 done
Comment 2
Sam James
2022-04-25 02:40:39 UTC
x86 done
Comment 3
Arthur Zamarin
2022-04-25 19:37:17 UTC
arm64 done
Comment 4
Arthur Zamarin
2022-04-25 19:37:52 UTC
arm done
Comment 5
Arthur Zamarin
2022-04-26 14:01:10 UTC
ppc64 done all arches done
Format For Printing
-
XML
-
Clone This Bug
-
Clone In The Same Product
-
Top of page