ubuntu/libz3-dev | deb | Package Usage

cimg/python 3.13.3

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 4 months ago - 242,047,075 downloads - 859 dependencies

cimg/postgres 9.6.24

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: over 3 years ago - 189,698,707 downloads - 865 dependencies

library/swift 6.0.1

Swift is a high-performance system programming language, to learn more about Swift visit swift.org.

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 10 months ago - 27,030,759 downloads - 241 dependencies

clickhouse/integration-test 9523f75c1961

version: 4.8.7-4build1, 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: 11 months ago - 9,376,046 downloads - 520 dependencies

mediagis/nominatim 5.0-2025-04-01T17-33

100% working container for Nominatim

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 4 months ago - 8,946,561 downloads - 355 dependencies

heroku/heroku 24-build.v142

The base images for Heroku's stacks.

version: 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: 8 months ago - 117,650,652 downloads - 615 dependencies

heroku/pack 20-build

[DEPRECATED] Replaced by `heroku/heroku:*-cnb` and `heroku/heroku:*-cnb-build`.

version: 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: about 3 years ago - 6,392,748 downloads - 666 dependencies

heroku/buildpacks latest

[DEPRECATED] Replaced by `heroku/builder`.

version: 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: over 2 years ago - 6,193,720 downloads - 915 dependencies

halternz/firmware 0.0.32

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 12 months ago - 2,651,477 downloads - 651 dependencies

fpco/stack-build lts-22

GHC, tools (stack, cabal-install, alex, etc.), and system dev libs.

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: over 1 year ago - 2,004,753 downloads - 2,168 dependencies

mxnetci/build.ubuntu_cpu latest

version: 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: over 2 years ago - 887,853 downloads - 806 dependencies

yandex/clickhouse-deb-builder 21495-39465b3fb6f158fae0a795608db976d275663310

version: 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: over 3 years ago - 436,774 downloads - 409 dependencies

angr/ci uv

CI image

version: 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: 4 months ago - 705,930 downloads - 513 dependencies

prismagraphql/build cross-linux-musl-arm-ssl-3.0.x-integration

Build images for Prisma2

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: almost 2 years ago - 503,770 downloads - 244 dependencies

termux/package-builder latest

Image for building termux packages

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: over 2 years ago - 353,472 downloads - 1,378 dependencies

yandex/clickhouse-binary-builder 21495-39465b3fb6f158fae0a795608db976d275663310

version: 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: over 3 years ago - 359,937 downloads - 343 dependencies

qgis/qgis 3.40.3

This is the official docker repository for http://qgis.org

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 6 months ago - 506,138 downloads - 2,545 dependencies

clickhouse/stateless-test 5785f8b95c19

version: 4.8.7-4build1, 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: 9 months ago - 792,656 downloads - 2,064 dependencies

mxnetci/build.ubuntu_gpu_cu101 latest

version: 4.4.1-0.3build4
arch: amd64
upstream: z3
distro: ubuntu-18.04

Latest release: over 4 years ago - 219,781 downloads - 795 dependencies

messense/rust-musl-cross riscv64gc-musl

Docker images for compiling static Rust binaries using musl-cross

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 4 months ago - 510,239 downloads - 956 dependencies

clickhouse/binary-builder b4890cbc4ba0753dc350

version: 4.8.12-1, 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 4 months ago - 854,516 downloads - 1,085 dependencies

arangodb/ubuntubuildarangodb3-x86_64 20

version: 4.4.1-0.3build4
arch: amd64
upstream: z3
distro: ubuntu-18.04

Latest release: over 2 years ago - 174,335 downloads - 415 dependencies

clickhouse/stateful-test f595f4c88d17

version: 4.8.7-4build1, 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: 11 months ago - 643,019 downloads - 2,057 dependencies

clickhouse/stress-test 7f5a6c73d463

version: 4.8.7-4build1, 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: 11 months ago - 621,030 downloads - 2,068 dependencies

clickhouse/unit-test fc9e2b0bd169

version: 4.8.7-4build1, 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: 5 months ago - 784,336 downloads - 2,061 dependencies

qgis/qgis3-build-deps final-3_34_13

QGIS 3.x building dependencies on Ubuntu 16.04 using ubuntugis-unstable.

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 8 months ago - 143,027 downloads - 1,327 dependencies

clickhouse/fuzzer b380be315f61

version: 4.8.7-4build1, 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: 11 months ago - 568,852 downloads - 359 dependencies

ccdlstaging/dr_downloaders 1.45.8

version: 4.4.1-0.3build4
arch: amd64
upstream: z3
distro: ubuntu-18.04

Latest release: about 2 years ago - 128,624 downloads - 1,028 dependencies

arangodb/ubuntubuildarangodb4-x86_64 21

version: 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: over 2 years ago - 113,642 downloads - 502 dependencies

clickhouse/performance-comparison 68215-aba08a9162e33b772735194248fb7720bd3a36dd

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 11 months ago - 521,271 downloads - 517 dependencies

clickhouse/deb-builder 48248-171a8f08c80084296e0c88166882bbfd9db25b26

version: 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: over 2 years ago - 120,116 downloads - 396 dependencies

dealii/dealii master-noble

Deal.II Library, with support for all external libraries.

version: 4.8.12-1, 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 4 months ago - 222,152 downloads - 863 dependencies

mxnetci/build.ubuntu_build_cuda latest

version: 4.4.1-0.3build4
arch: amd64
upstream: z3
distro: ubuntu-18.04

Latest release: over 4 years ago - 103,295 downloads - 795 dependencies

apache/pegasus thirdparties-bin-rockylinux9-master

Apache Pegasus (incubating)

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 5 months ago - 634,529 downloads - 585 dependencies

clickhouse/fasttest 68675-b836cc91288fee8da8059ee81bb316d29664af25

version: 4.8.7-4build1, 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: 11 months ago - 541,694 downloads - 362 dependencies

arangodb/ubuntubuildarangodb5-x86_64 17

version: 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-20.04

Latest release: almost 2 years ago - 96,463 downloads - 509 dependencies

84codes/crystal master-fedora-41

Multi-arch Crystal images for multiple OSes

version: 4.8.12-1, 4.8.7-4build1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 4 months ago - 222,450 downloads - 273 dependencies

tarantool/testing ubuntu-jammy-clang19

version: 4.8.12-1
arch: amd64
upstream: z3
distro: ubuntu-22.04

Latest release: 10 months ago - 107,583 downloads - 335 dependencies

ccdlstaging/dr_affymetrix 1.45.8

version: 4.4.1-0.3build4
arch: amd64
upstream: z3
distro: ubuntu-18.04

Latest release: almost 2 years ago - 94,465 downloads - 1,220 dependencies

Package Usage : deb : ubuntu/libz3-dev