-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 16 Sep 2018 20:46:04 +0300 Source: z3 Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni Architecture: source Version: 4.4.1-0.4~deb9u1 Distribution: stretch Urgency: medium Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Adrian Bunk <bunk@debian.org> Description: libz3-4 - theorem prover from Microsoft Research - runtime libraries libz3-cil - theorem prover from Microsoft Research - CLI bindings libz3-dev - theorem prover from Microsoft Research - development files libz3-java - theorem prover from Microsoft Research - java bindings libz3-jni - theorem prover from Microsoft Research - JNI library libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings python-z3 - theorem prover from Microsoft Research - Python bindings z3 - theorem prover from Microsoft Research Closes: 874237 Changes: z3 (4.4.1-0.4~deb9u1) stretch; urgency=medium . * Non-maintainer upload. * Rebuild for stretch. . 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) Checksums-Sha1: 1253bc0d103babcc55d9eee06144740d03b66a0d 2829 z3_4.4.1-0.4~deb9u1.dsc c6cd1182c89458879a59dcec233c03748888c4dc 14404 z3_4.4.1-0.4~deb9u1.debian.tar.xz Checksums-Sha256: dd4e97d97de6aa42a6aa6b3387c3bae37aeb5365f3c0d6ee326624ebe935dfee 2829 z3_4.4.1-0.4~deb9u1.dsc 884d944c8076ef4f58ccb1cdc677ffeaa4c9a655a41d08746ded10b6a5a0d5b3 14404 z3_4.4.1-0.4~deb9u1.debian.tar.xz Files: d262f9541f76803cb80689d6cf475b1d 2829 science extra z3_4.4.1-0.4~deb9u1.dsc aaf2b7890ec9a264abbc13488d049bc0 14404 science extra z3_4.4.1-0.4~deb9u1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAluenUoACgkQiNJCh6LY mLHPxRAAtFWpZFpzcs83gCzw5OSlMUzmYZncLtO4Z77NvwsKQOSUAHXssfWvq5xF 8gOP3SKsRHEt4QmkewbsXzxrS/FE/dfU3Bm9IH5zQVQDLUd8CxeEiemcPVuZymaQ fw/SV229TE5lSiVZwoFPG7isOe56slaF5T6WE0ON8pD9NnpXjv8EJEhmYZxChrGs uBRmsae7MhwBpN+hblyaUU5EgAS9TrYjUVULpT0E9lDYu6jCLNIrTYGMT/BAR5dy 8zBHqTqQdm3W5NX4cbuzRQIvsB93Ojgdl25H7bD9WUYNmY4C9IT3srBlJlAzZCd7 9uCr8CcoNEWbZgk8XohK+kbfdH6lffVsLbxZgttMQ0UWz03M59oj/f0+ip9bkvkk BtFIzZlzKyjaB0YVp9+8zL9fmb5738xAm9b92U7O+3o9D7MigudlRJkBLcPfCgWA V8ow4OAhWBoKyntr25jp95SYEC0njf/BTu2XMpuATyLg9HF2c4Xvlu3TlMsLqfUl H+F7L/N+AouiyR6EWUljL5o2XyZO/iy5i3DATyEKPreJmDXgmzr3dobn8hSdnBlx SttAMV2d4RvZKilwqWngnJYmUx2jUcNipRqoxsEdClRhXEfVX9bfFXOXIQOtthUM zIWx0oFrRMuQyJu3naR7VrcpJQP69YC31dtejMF061LTNA+gnbw= =yu5b -----END PGP SIGNATURE-----