-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: z3 Binary: z3, libz3-dev, python-z3 Architecture: any Version: 4.4.0-1 Maintainer: Michael Tautschnig <[email protected]> Homepage: https://github.com/Z3Prover/z3 Standards-Version: 3.9.6 Build-Depends: debhelper (>= 9), python Package-List: libz3-dev deb libdevel extra arch=any python-z3 deb python extra arch=any z3 deb science extra arch=any Checksums-Sha1: e3b895869a723b9d13cc77f48a4ff7d2b721a8a5 3457136 z3_4.4.0.orig.tar.gz 7121bb6c7073c499b508d49940b7cf77b0ae22dc 6204 z3_4.4.0-1.debian.tar.xz Checksums-Sha256: 48d3652388d7781b1b9af5c61e618cfce0553bb186eb289003995f917d9207e5 3457136 z3_4.4.0.orig.tar.gz dbe7ae98e92f2d1ef2a6d2b7d4bf193945843a407ef852c27429b966b4a75ef9 6204 z3_4.4.0-1.debian.tar.xz Files: 025d369549fbe686412c51f92ec156c3 3457136 z3_4.4.0.orig.tar.gz c00260b4a3a83d7e9812a5f9ce099bab 6204 z3_4.4.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJVggD7AAoJEDu/g5M27KkxHd8P/j3+o2Zd6y+RKq7F0EUKLE3l 6sJuGJAfa5tToeM3smVwwOGDcgi3+k13iyf3zLp0Q73Sry7ZfNfyceWmd7g/OYqY fHpT2wwiHlP/qKiWnGEgIiWw/zg5ch5gn3XPBoNMiHUfHNKclWNpNCzFalt5lbD1 PEOx+8MWM4nQ7zcV8mIXrevIIwCllRVxwZfiC4dLKCw/vsXCdkBgdDUMLMQy825w Bsyf1UZGZIlNG49Bva8e2D0ctkbsTK2b+tuQK8BtLvPVKd8L4Rw33PDNJQjOrVD6 D5rMa9P9HT05YJoTEoB1wKSTgvN3ysaRmrNpt1le565Xq/6DfjgUXwN3SC99kd8G 5C/Tkvi+3+uNoLNltRj/FA5nr6Btd4/J+GyL/NRLDK9nof2MIW9t4aeKrNYws3yM e0XZLCiGpOl8/zk0TRO/NFz3NbblFxe/i4nOuKJm5izrand6TiJ5aai6pETTT+rv ppEk8hKgMa2rSMCUywfwd67zDl1j8IfNbkGP2HlUllfwP9FBGjLo6oJxObpy1NFS sePyTXkzR2eE0/VYeKqdynZNsAmhe9ffOy4tRzxdXH7y7xUb0DXUJIkiJN/puzYw AukVAEraYPZ+Y3ZGx5lnLlCbxsSmqRefJmU8+D7+iDvbIdEQK3FmSfFFcEOcS4bN mpMjSteN4bSjpEfyj6xO =JNgm -----END PGP SIGNATURE----- Changes: z3 (4.4.0-1) unstable; urgency=low * Initial release (Closes: #786807) * Includes patches from unstable branch up to 6a50f10b8b -- Michael Tautschnig <[email protected]> Wed, 17 Jun 2015 21:40:44 +0100
