[ubuntu/cosmic-proposed] z3 4.4.1-0.4 (Accepted)

[Gianfranco Costamagna]

z3 (4.4.1-0.4) unstable; urgency=medium

  * Non-maintainer upload.
  * Remove the incorrect Multi-Arch: same of python-z3,
    thanks to Helmut Grohne. (Closes: #874237)

Date: 2018-09-12 04:42:30.334055+00:00
Changed-By: Michael Tautschnig <mt at debian.org>
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/z3/4.4.1-0.4
-------------- next part --------------
Sorry, changesfile not available.