Thanks for taking your time to report this issue and help making Ubuntu better.
I found a corresponding bug report in Debian, so I have attached a bug watch. This is marked as fixed, so someone should verify that this issue is gone with the newer version available in Ubuntu Yakkety. If it is resolved, it might be possible to take a minimal patch and apply that for 16.04 in order to fix it there as well. ** Bug watch added: Debian Bug tracker #802272 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=802272 ** Also affects: z3 (Debian) via http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=802272 Importance: Unknown Status: Unknown -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1609772 Title: python-z3 package doesn't work, can't import z3 To manage notifications about this bug go to: https://bugs.launchpad.net/hundredpapercuts/+bug/1609772/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
