Update package
Bug #1927834 reported by
mikhail
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| z3 (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned | ||
Bug Description
The last available version is 4.8.10.
Please, consider update the package because there were changes to the API in 4.8.8, so the current version available for 20.04 users (4.8.7) lack some important features.
Revision history for this message
| Gianfranco Costamagna (costamagnagianfranco) wrote | #1 |
| Changed in z3 (Ubuntu): | |
| status: | New → Fix Released |
To post a comment you must log in.
4.8.12 is in kinetic