Toggle navigation
Patchwork
Guix Patches
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Series =
[bug#56107] : Update z3 to 4.8.17 and use cmake to build the package.
| Archived =
No
| 1 patch
Series
Submitter
State
any
Action Required
New
Under Review
Accepted
Rejected
RFC
Not Applicable
Changes Requested
Awaiting Upstream
Superseded
Deferred
Work in progress
Search
Archived
No
Yes
Both
Delegate
------
Nobody
cbaines
levenson
dftxbs3e
futurile
Apply
Patch
Series
A/R/T
S/W/F
Date
Submitter
Delegate
State
[bug#56107] : Update z3 to 4.8.17 and use cmake to build the package.
[bug#56107] : Update z3 to 4.8.17 and use cmake to build the package.
- - -
1
-
1
2022-06-21
Zhu Zihao
Accepted