-----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-----