Ubuntu
z3 package

  1. Bug #1609772
  2. Comment #5

Comment 5 for bug 1609772

Revision history for this message
Paul White (paulw2u) wrote :

Ubuntu changelog confirms issue fixed in version 4.4.1-0.1