[ubuntu/zesty-proposed] z3 4.4.1-0.3build2 (Accepted)
Gianfranco Costamagna
locutusofborg at debian.org
Wed Dec 21 21:26:16 UTC 2016
z3 (4.4.1-0.3build2) zesty; urgency=medium
* Rebuild against new OCAML ABI.
Date: Wed, 21 Dec 2016 22:24:56 +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.3build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 21 Dec 2016 22:24:56 +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.3build2
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.3build2) zesty; urgency=medium
.
* Rebuild against new OCAML ABI.
Checksums-Sha1:
ea0d5a79a4d937ff8bf2cbb5d3cd82858343dd44 2811 z3_4.4.1-0.3build2.dsc
d58b14cccc27f5b3e66d7b8a4704355da4f76e3b 14324 z3_4.4.1-0.3build2.debian.tar.xz
Checksums-Sha256:
8e2bc0768dfc917f95d5adf796278cab0d7e295e54dc5c83ca183660f2ef2d95 2811 z3_4.4.1-0.3build2.dsc
de1e12bf90d7093cfc339e4750b23b4948feee3618c7f38905ce8e4e451a1f4e 14324 z3_4.4.1-0.3build2.debian.tar.xz
Files:
fe5ef705d78ea6caa1dfc19beed09282 2811 science extra z3_4.4.1-0.3build2.dsc
7679f7e9c82a7c1c3019429b63fbe095 14324 science extra z3_4.4.1-0.3build2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJYWvNSAAoJEPNPCXROn13ZFX8P/RmziDyyp1+5NhT6/qqKm7AZ
x3R9zhywiA1Etv0MKrEFxSgzsjubb9Qe+ytrYHmdq5oa7YG/lgNDmJwMB4quY0B5
wuuYKMCD42otC52z1HBY3QGMO6hP01UXlBJYft33s/FZngL1uiac0dCAx1t+bBkk
E73918SUZfHN78wL2xcVHCVlVK8VnlO0D5AC1ys8GZbVVhEQrEA8yfrKZoBRYn1X
1CjvqeHRlWkqd4CecPSqT21ntLG505XKBHBBjEtVgPmFDRFVm9P58PB4mPln7AsG
3KcX4lDQ7LkVPH/T00d24wgD88ZINHvfw8mPxCpB/MWJawjJLIZK8bf2BDlCiFfB
n0bkSUOcg4NpuBwtWbKXGyYAzWF764AJeGspZeij03z+WCiF4D1GQZvxM8/riK12
huppLppZ5D3j6RXqVIS0JaK9fQn36f4AQbZiep09U5Ql9q8YqEILgQpTYL3hJQzC
ERuTLDX33xl3axGNnI6nezr+6VD9aMEo9j3oMbk/8cHOS4OMX5/aUeV7mdScxflo
w/v2MLZbfi7uCeH3qMjFjuZ4KCWsptYZYJsKgdyJ9ba+PcjF6Q8j8w7c2QGswEIO
eCBOvTwPjPg8TMf74UO8RKPcVjLUATELKNnqq8Xz6KcT6vWuWNfArz3F1q0RyLVv
xPdzyCquAOQQ23ME+D4G
=nGtu
-----END PGP SIGNATURE-----
More information about the Zesty-changes
mailing list