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