Publishing details
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
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
Builds
Built packages
-
libz3-4
theorem prover from Microsoft Research - runtime libraries
-
libz3-4-dbgsym
debug symbols for libz3-4
-
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-jni-dbgsym
debug symbols for libz3-jni
-
python3-z3
theorem prover from Microsoft Research - Python 3 bindings
-
z3
theorem prover from Microsoft Research
-
z3-dbgsym
debug symbols for z3
Package files