Package Usage : deb : ubuntu/libz3-4
Explore the latest package usage data for ubuntu/libz3-4 in the deb ecosystem, including detailed information on package dependencies and their usage.
Total dependents: 926
Total downloads: 350,829,525
Showing first 100 dependents
More details on packages.ecosyste.ms - JSON
cimg/postgres 9.6.24
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
cimg/python 3.14.0
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
altinityinfra/fasttest 451-4724ca22b30b5b9ddeee1d39c03c463b3de04ece-amd64
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
hanzhi227/lambda-docker-test house
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
altinityinfra/unit-test 981-5ce5094cf6d872d8416c41fc7f772bee705245b4-amd64
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
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
clickhouse/integration-test 9523f75c1961
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
mediagis/nominatim 5.0-2025-06-13T12-05
100% working container for Nominatim
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
heroku/heroku 24-build.v156
The base images for Heroku's stacks.
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
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
wolfssl/testing-cross-compiler 2024-10-23
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
heroku/buildpacks latest
[DEPRECATED] Replaced by `heroku/builder`. Do not use! Will be removed in the future.
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
ccdlstaging/dr_illumina 1.45.8
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
clickhouse/fuzzer b380be315f61
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
ccdlstaging/dr_downloaders 1.45.8
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
halternz/firmware 0.0.32
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
hrdqww/code-server dev-4.14.1
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.10
qgis/qgis 3.44.3
This is the official docker repository for http://qgis.org
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
prosyslab/classroom 22.04
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
clickhouse/stateless-test 5785f8b95c19
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
zhongruoyu/workbench ubuntu-24.04
My workbench Docker images. Based on zhongruoyu/sandbox.
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: ubuntu-23.04
prosyslab/bug-bench-autotrace 20200219.65-22.04
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
arangodb/ubuntubuildarangodb4-x86_64 21
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/sqltest 0b6aeae8aa29
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
clickhouse/binary-builder f7b370afe31bd275228b
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
prosyslab/bug-bench-picocom 2.0a-22.04
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/stateful-test f595f4c88d17
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/keeper-jepsen-test b7cef756dd565da96994
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/stress-test 7f5a6c73d463
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/unit-test 06c48716b5c7a41b1c69
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
qgis/qgis3-build-deps final-3_34_15
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
clickhouse/deb-builder 48248-171a8f08c80084296e0c88166882bbfd9db25b26
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
dealii/dealii v9.7.1-noble-arm64
Deal.II Library, with support for all external libraries.
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/fasttest 68675-b836cc91288fee8da8059ee81bb316d29664af25
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
arangodb/ubuntubuildarangodb5-x86_64 17
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
84codes/crystal 1.17.0-debian-bullseye
Multi-arch Crystal images for multiple OSes
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
prosyslab/bug-bench-amanda 3.3.1
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
redislabs/redisgears 1.2.5
An automated build of RedisGears
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
ccdlstaging/dr_affymetrix 1.45.8
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
prosyslab/bug-bench-schismtracker 20190722-patch-22.04
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/test-base 23cd4a6d1976
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/split-build-smoke-test 54176-9c1b0cf486009df63f5888aa896749c7603c0243
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/keeper-jepsen-test 3d76cbf51f24
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
imlogang/beemoviebot v0.2.0
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
ccdlstaging/dr_salmon 1.45.8
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
sky360/ros2-dev-humble 1.0.4
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
clickhouse/clickhouse-binary-builder 28759-dcf7cb4a5c9e775922e23b23d903d74abdc12480
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
vineelsai/dev ubuntu-20240923
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
jetbrains/datalore-agent 2025.4.1
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
jforissier/optee_os_ci qemu_check_arm64
Docker images to run CI of OP-TEE OS (https://github.com/OP-TEE/optee_os).
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
osrf/space-ros jazzy-2025.10.0
Docker images for the Space ROS project https://github.com/space-ros
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
veedata/cse511-assignment2 latest
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
prosyslab/bug-bench-libslirp 4.1.0
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
scylladb/seastar-toolchain 2024-02-01
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.10
paritytech/contracts-ci-linux ee3f4073-20230720
contracts-ci-linux utility Docker image.
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
srnbckr/cgroup-monitor 20.04
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
lblanp/panda-plugin-listmode-agg v1.0.1
- version: 4.8.7-4build1
- arch: arm64
- upstream: z3
- distro: ubuntu-20.04
beisner/taxpose refs-tags-corl_2024_submission
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
ccdlstaging/dr_no_op 1.45.8
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
dfinity/ic-build f3527253faea5555085c508e10e98ed276988b1b3cd6e63c249e03318cecb596
Docker container for building the Internet Computer
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
seahorn/verify-openzeppelin anise
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
ccdlstaging/dr_worker_base latest
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
cmucal/cabot_people ros2-e9d6cab
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
xuaner233/ubuntu-instrew-dev 22.04-riscv64
Dev image for instrew: https://github.com/aengelke/instrew
- version: 4.8.12-1
- arch: riscv64
- upstream: z3
- distro: ubuntu-22.04
mlepetit/ranalysis 3.3.4
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
bartekbury/dev_env v1.0.2
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
arangodb/ubuntubuildarangodb6-x86_64 14
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
prosyslab/bug-bench-libxcursor 1.1.14
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
41772ki/swift-mint 6.1.2
Swift image including Mint for linux
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
arangodb/ubuntubuildarangodb6-aarch64 14
- version: 4.8.12-1
- arch: arm64
- upstream: z3
- distro: ubuntu-22.04
arangodb/ubuntubuildarangodb5-aarch64 17
- version: 4.8.7-4build1
- arch: arm64
- upstream: z3
- distro: ubuntu-20.04
rossonet/ubuntu-22-laravel latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
modelbox/modelbox-develop-mindspore_1.9.0-cann_6.0.1-d310p-ubuntu-x86_64 v1.6.1
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
ccdlstaging/dr_foreman 1.45.8
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
robocin/robocin-ines manual-robocup-v4
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
apache/orc-dev debian13
Apache ORC - the smallest, fastest columnar storage for Hadoop workloads
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
ciscosecurity/muster_umbrella_fqdnconnector 26
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
prosyslab/bug-bench-patch 2.7.6
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
janosch2888/elastodynamics-uc v1
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
ccdlstaging/dr_smasher 1.45.8
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
osrf/ros2 nightly-rmw-nonfree
**Experimental** Docker Images for ROS2 development only. No `latest` tag, pull with *explicit* tags
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
husarnet/ros jazzy-ros-core
Official ROS 2 docker images with utils for easier Husarnet setup
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
cravela/tarian latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: ubuntu-23.04
altinityinfra/binary-builder 446-c9c8e42c59325042f183e1cfd88b4706f34b3a48
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
arm64v8/swift 6.2.1
Swift is a high-performance system programming language, to learn more about Swift visit swift.org.
- version: 4.8.12-1
- arch: arm64
- upstream: z3
- distro: ubuntu-22.04
ponylang/ponyc-ci-x86-64-unknown-linux-ubuntu20.04-builder 20230807
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
portillagedeon/h264_streaming buildx-latest
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
altinityinfra/codebrowser 613-8bc81f1eeeaedc1a0117a38ca4aa95614ea0e316
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
cybwan/osm-edge-interceptor 1.4.0
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
altinityinfra/stateless-test 0-9992f5eba3591142ff413d31cb83a7bf4f0e2553
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
lucapegolotti/ubuntu20-svexternals latest
- version: 4.8.7-4build1
- arch: amd64
- distro: ubuntu-20.04
- upstream: z3
altinityinfra/stateful-test 1-46d4f9bd6a40e43bf5543be25cc704364e0c737b
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/test-util 446-c9c8e42c59325042f183e1cfd88b4706f34b3a48
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
ccdlstaging/dr_transcriptome 1.45.8
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
altinityinfra/test-base 466-034c9f62db9685d95e6516a0882e376c52955cf6
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/split-build-smoke-test 603-1ca5834665e48f1d9c0c32b0402ce2c86b56708c-amd64
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/stress-test 23.8.16-amd64
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04