z3 4.8.12-1 source package in Ubuntu

Changelog

z3 (4.8.12-1) unstable; urgency=medium

  [ Debian Janitor ]
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
    Repository-Browse.

  [ Fabian Wolff ]
  * New upstream release.
  * Upgrade to Standards-Version 4.6.0.
  * Update years in debian/copyright.
  * Update 00-intrinsics.patch and refresh 01-soname.patch.

 -- Fabian Wolff <email address hidden>  Sat, 11 Sep 2021 17:58:23 +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
Jammy release universe misc

Downloads

File Size SHA-256 Checksum
z3_4.8.12-1.dsc 2.6 KiB fcaf38e1dc9cfa42ed192d4a01c4f4efdae06b15927fd12a8d02fa0f8576fda6
z3_4.8.12.orig.tar.gz 4.6 MiB e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7
z3_4.8.12-1.debian.tar.xz 9.7 KiB 3600348c75918866e3cb43edebe6a377186f5991a8aaa2dc6d980f46696dc506

No changes file available.

Binary packages built by this source

libz3-4: theorem prover from Microsoft Research - runtime libraries

 Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
 used to check the satisfiability of logical formulas over one or more
 theories. Z3 offers a compelling match for software analysis and verification
 tools, since several common software constructs map directly into supported
 theories.
 .
 This package contains runtime libraries. You shouldn't have to install it
 manually.

libz3-4-dbgsym: debug symbols for libz3-4
libz3-dev: No summary available for libz3-dev in ubuntu impish.

No description available for libz3-dev in ubuntu impish.

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

No description available for libz3-java in ubuntu kinetic.

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

No description available for libz3-jni in ubuntu kinetic.

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

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

python3-z3: No summary available for python3-z3 in ubuntu kinetic.

No description available for python3-z3 in ubuntu kinetic.

z3: No summary available for z3 in ubuntu kinetic.

No description available for z3 in ubuntu kinetic.

z3-dbgsym: debug symbols for z3