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
Kinetic release universe misc
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: No summary available for libz3-4 in ubuntu impish.

No description available for libz3-4 in ubuntu impish.

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

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

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

No description available for libz3-dev in ubuntu impish.

libz3-java: theorem prover from Microsoft Research - java bindings

 Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
 package for a detailed description.
 .
 This package can be used to invoke Z3 via its Java API.

libz3-jni: theorem prover from Microsoft Research - JNI library

 Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
 package for a detailed description.
 .
 This package provides the JNI library to invoke Z3 via its Java API.

libz3-jni-dbgsym: debug symbols for libz3-jni
python3-z3: theorem prover from Microsoft Research - Python 3 bindings

 Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
 package for a detailed description.
 .
 This package can be used to invoke Z3 via its Python 3 API.

z3: No summary available for z3 in ubuntu impish.

No description available for z3 in ubuntu impish.

z3-dbgsym: debug symbols for z3