z3 (4.4.0-1) unstable; urgency=low

  * Initial release (Closes: #786807)
  * Includes patches from unstable branch up to 6a50f10b8b

 -- Michael Tautschnig <mt@debian.org>  Wed, 17 Jun 2015 21:40:44 +0100
