Accepted z3 4.4.1-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 17 Aug 2019 11:05:53 +0200
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-1
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@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: 842892
Changes:
z3 (4.4.1-1) unstable; urgency=medium
.
[ Gianfranco Costamagna ]
* Team Upload
* Upload to unstable
.
[ Andreas Beckmann ]
* Do not set the SONAME of libz3java.so to libz3.so.4. (Closes: #842892)
Checksums-Sha1:
186e3e4fa864d21854caf73c49436d20c1d1130c 2998 z3_4.4.1-1.dsc
4115d684c5a0ee7ad47cb1db01ae4137a37cc67e 14660 z3_4.4.1-1.debian.tar.xz
cb3447190f569139edb1b157adfff86ce0d9fa9f 22052 z3_4.4.1-1_source.buildinfo
Checksums-Sha256:
ad397450bfb8be8c9431dc7294a9df1b305da70e2445b96f2ae696dd16beb82a 2998 z3_4.4.1-1.dsc
b34338af7779d9a661a1e3509360ade98e2e47eeccccf3e0047e4e1d00c146ae 14660 z3_4.4.1-1.debian.tar.xz
383dad5c627bcf470b476ec843cc1ea93d0c673d52309cd8be9fa0ab18b3def4 22052 z3_4.4.1-1_source.buildinfo
Files:
b52e9f6b14e762dc05ed39a8e9c4657b 2998 science optional z3_4.4.1-1.dsc
70d722ae3ef02ec5fc4af54f438c9e2f 14660 science optional z3_4.4.1-1.debian.tar.xz
d93beeb7f058c46483555c07a2fb95dc 22052 science optional z3_4.4.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1Xw8QACgkQ808JdE6f
XdmEJxAAvIb2fjlcZ4eNkWAWiuEIwzCoKwYJxv2eXCVR5JEwPgsnuc5xLM0ITaGd
c/5iFVBtNNRGsT8XEmDrYbEpPLFs0Yu8T38cBk3JUOpUBzR0DD2epo+7Q+Qr5QfL
BOoWPUcEbpIzeqGUTyBVayQyKiE67quiaw+yCJLB6ARq6MqwL30G0GO8PE4OrYwc
gr1UMuzLyigeoTt7Ynj9eulLY3qcxsUJwRrpx1dQwjFdkEXW9o7cbTcOqzJQXiYc
5K/zC63hqLDBWnkUZRF7oup6lWV/pCKfHn/COUz0C5kJInGVbXXjl6/yF46xscLx
EFW/etJ5UMFkMdWpvUqMzsOu9V5paHyJSWCbDGTr9EPq7bLOdhbxMRQu2PgsgE+V
tV2i2fs/jInJEaluafiTSMUJZ2qFZrgkf4WSK12zP5psH27gJP88jKvTKEhvZRty
zEwMg7ktt/MLML/93Y84iSTOXqNK79rYoZLzykS8tb+TM64dvWQKboVJMBT11edM
dFMX8ZSGyaTPET9rGs+o5DJH4KbL+6AMkkAgdAZRTmCOy7NYB3YeC9FGi8GIe2d/
Oespl4JKBVBMaEmjtoLNIQy9qi6RyIRRsqqOSbQgItpYhpi3Xz4EpuE7+BCQbSzh
y07F4JbIWgKp8blbQZhjmvNI1VhwN67ycLaWFZrZZyS9FLCxpaU=
=6mbX
-----END PGP SIGNATURE-----