Public bug reported:
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.
** Affects: z3 (Ubuntu)
Importance: Undecided
Status: New
** Tags: upgrade-software-version
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1927834
Title:
Update package
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/z3/+bug/1927834/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
