Ubuntu
z3 package

z3 4.4.1-1 source package in Ubuntu

Changelog

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)

 -- Gianfranco Costamagna <email address hidden>  Sat, 17 Aug 2019 11:05:53 +0200

Upload details

Uploaded by:
LLVM Packaging Team
Uploaded to:
Sid
Original maintainer:
LLVM Packaging Team
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
z3_4.4.1-1.dsc 2.9 KiB ad397450bfb8be8c9431dc7294a9df1b305da70e2445b96f2ae696dd16beb82a
z3_4.4.1.orig.tar.gz 3.2 MiB 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce
z3_4.4.1-1.debian.tar.xz 14.3 KiB b34338af7779d9a661a1e3509360ade98e2e47eeccccf3e0047e4e1d00c146ae

No changes file available.

Binary packages built by this source

libz3-4: No summary available for libz3-4 in ubuntu eoan.

No description available for libz3-4 in ubuntu eoan.

libz3-4-dbgsym: No summary available for libz3-4-dbgsym in ubuntu eoan.

No description available for libz3-4-dbgsym in ubuntu eoan.

libz3-cil: No summary available for libz3-cil in ubuntu eoan.

No description available for libz3-cil in ubuntu eoan.

libz3-dev: No summary available for libz3-dev in ubuntu eoan.

No description available for libz3-dev in ubuntu eoan.

libz3-java: No summary available for libz3-java in ubuntu eoan.

No description available for libz3-java in ubuntu eoan.

libz3-jni: No summary available for libz3-jni in ubuntu eoan.

No description available for libz3-jni in ubuntu eoan.

libz3-jni-dbgsym: No summary available for libz3-jni-dbgsym in ubuntu eoan.

No description available for libz3-jni-dbgsym in ubuntu eoan.

libz3-ocaml-dev: No summary available for libz3-ocaml-dev in ubuntu eoan.

No description available for libz3-ocaml-dev in ubuntu eoan.

libz3-ocaml-dev-dbgsym: No summary available for libz3-ocaml-dev-dbgsym in ubuntu eoan.

No description available for libz3-ocaml-dev-dbgsym in ubuntu eoan.

python-z3: No summary available for python-z3 in ubuntu eoan.

No description available for python-z3 in ubuntu eoan.

z3: No summary available for z3 in ubuntu eoan.

No description available for z3 in ubuntu eoan.

z3-dbgsym: No summary available for z3-dbgsym in ubuntu eoan.

No description available for z3-dbgsym in ubuntu eoan.