Ubuntu
z3 package

z3 4.8.4-1 source package in Ubuntu

Changelog

z3 (4.8.4-1) unstable; urgency=medium

  [ Gianfranco Costamagna ]
  * Team upload.
  * Honour nocheck option to not run testsuite

  [ Fabian Wolff ]
  * New upstream release (Closes: #909494).
  * Add debian/gbp.conf.
  * Update and reorganize patches.
  * Upgrade to debhelper compat level 12.
  * Upgrade to Standards-Version 4.4.0 (no changes).
  * Remove trailing whitespace from debian/control.
  * Build-Depend on libnum-ocaml-dev (Closes: #934048).

 -- Fabian Wolff <email address hidden>  Tue, 27 Aug 2019 14:30:11 +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.8.4-1.dsc 2.9 KiB 37928289d925c64464f68e0733ab43a07673e9a2f4cb24a356909d26d4ae95c3
z3_4.8.4.orig.tar.gz 3.9 MiB 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601
z3_4.8.4-1.debian.tar.xz 9.3 KiB 6805e4953eb6586135709857e61f1fb03872333082a903132d257be740f3bfcc

Available diffs

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.