[ubuntu/zesty-proposed] z3 4.4.1-0.3build1 (Accepted)

[Gianfranco Costamagna]

z3 (4.4.1-0.3build1) zesty; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 21 Dec 2016 11:59:51 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Michael Tautschnig <mt at debian.org>
https://launchpad.net/ubuntu/+source/z3/4.4.1-0.3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 21 Dec 2016 11:59:51 +0100
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.3build1
Distribution: zesty
Urgency: medium
Maintainer: Michael Tautschnig <mt at debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at 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
Changes:
 z3 (4.4.1-0.3build1) zesty; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d0d44bb00f0b3c44ff2e65a358004fe707231871 2811 z3_4.4.1-0.3build1.dsc
 0e093e9d72ce3a87e2a68804fe8599018729060b 14332 z3_4.4.1-0.3build1.debian.tar.xz
Checksums-Sha256:
 cc3122435df7feb322ffea0b4d40e0f3783956f9f5d7c67726ef2fe33149ab3b 2811 z3_4.4.1-0.3build1.dsc
 8a25588817678b659638afb69365420fbf3f6080262f49227580ec4914cf0e8c 14332 z3_4.4.1-0.3build1.debian.tar.xz
Files:
 f322e606090e2fe7da4c70f724b67a48 2811 science extra z3_4.4.1-0.3build1.dsc
 6b20703d7853c1bbe58862ebd75a60dc 14332 science extra z3_4.4.1-0.3build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJYWmCrAAoJEPNPCXROn13ZuegP/j+IIPR6u1dQRjFNcbd8VOQM
uKGJwBcu6lOn2Pky76ATu70qlVSa+5AqtbGZuFFS3AXwvBGre6ASPLjnyH8cFBd5
XUkkQTV9pVpGV3MV7rnuXwj+vrLV6LlTeS7g4LXKs4rRrX9urqaYCY4kSa2pI5P7
AuAkXy6+s9FNLhmlHSrMOjBqBY8CktCbRefBFILhDfx5S9YXVNAtnM80xjiHvBSm
MzB4ddMeEmq0/K3p5alt8ORCnr7H5cUXpN8mRyQzJYGS4ci76PbnbAYC3MRvfldS
JIP0/rvVECRej1qfUtJLgIyP9T01q9IBwsgeRJgoXD6k+DC7DZGbhXccsJ3vKQ60
WBe/qZ5b9Jd5SJI5KJc3JQ0LrFyP/jrBlezma3VkRd88DCo8Hv8qIG/ZWMjA4sqk
tu2PIvO61ZwA3Y9eJbugBuj+UKeTldY4CtF8/7n79gQXBTS0IZ1fSJInHGWokvFa
pj8J83gN+tqCN0CJ5mDK9OhFeKsAZW8od5y5yzekhYlBo7Kd1nlv7muKVT9HA8wp
lzCQbB4fV7NC0DYamVsuLsEPD8GOtfjCjEuf36UnUu79UgsorVPaYkFDYOJffq4x
rniSfTUR/GyXEuwy5djHdtsynSGoCkdBi0hBVb3dtjd7ZsZ7j8xBGvYZF9LstMz0
W2iHt0TZCOLOS68QU7NV
=Uq5/
-----END PGP SIGNATURE-----