Show patches with: Series = [bug#56107] : Update z3 to 4.8.17 and use cmake to build the package.       |    Archived = No       |   1 patch
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