Ecosyste.ms: Docker
An open API service providing dependency metadata for docker images.
Package Usage : deb : ubuntu/libz3-dev
Explore the latest package usage data for ubuntu/libz3-dev in the deb ecosystem, including detailed information on package dependencies and their usage.
Total dependents: 808
Total downloads: 319,958,131
More details on packages.ecosyste.ms - JSON
ccdlstaging/dr_affymetrix f30409aceba66e19235b21b4ca8899e318e02e30
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
redislabs/redisgears 2.0.16-m17
An automated build of RedisGears
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
clickhouse/codebrowser 52662-2bcdd2c5a7cc4a72587ee39c0e6d1f20e72981f9
- version: 4.8.7-4build1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.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
clickhouse/test-base 0-b9cc1580e0357a0ca2fa761381797c3737677f55
- version: 4.8.12-1, 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
clickhouse/split-build-smoke-test 54176-9c1b0cf486009df63f5888aa896749c7603c0243
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
yandex/clickhouse-pvs-test 21495-39465b3fb6f158fae0a795608db976d275663310
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/keeper-jepsen-test 54187-0fa8527b1282808c7e721a0aab1fb6b4f75555fc
- version: 4.8.7-4build1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/test-util 48280-4a5073561815464aa232e7e3e7df5e2f531ff5af
- version: 4.8.7-4build1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
nanocurrency/nano-env clang
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
ccdlstaging/dr_salmon f30409aceba66e19235b21b4ca8899e318e02e30
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
yandex/clickhouse-unbundled-builder 21495-39465b3fb6f158fae0a795608db976d275663310
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
mxnetci/build.ubuntu_gpu_cu100 latest
- version: 4.4.0-5
- arch: amd64
- upstream: z3
- distro: ubuntu-16.04
jetbrains/datalore-agent 2023.6-py3.10
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
rhub/ubuntu-rchk latest
Run https://github.com/kalibera/rchk on R packages
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
jforissier/optee_os_ci qemuv8_check2
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
mxnetci/build.ubuntu_nightly_cpu latest
- version: 4.4.0-5
- arch: amd64
- upstream: z3
- distro: ubuntu-16.04
seahorn/seahorn-llvm10 nightly
An analysis framework for LLVM 10
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
mxnetci/build.ubuntu_nightly_gpu latest
- version: 4.4.0-5
- arch: amd64
- upstream: z3
- distro: ubuntu-16.04
scylladb/seastar-toolchain 2023-12-05
- version: 4.8.12-3.1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-23.10
clickhouse/pvs-test 40301-54e0ebc8c83cea0a94941100ee6c0574e0a454d0
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
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
mxnetci/build.ubuntu_cpu_lite latest
- version: 4.4.0-5
- arch: amd64
- upstream: z3
- distro: ubuntu-16.04
zenjoy/dev-environments-nimbu 2.7-focal-fermium
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
proxysql/packaging build-clang-centos9
Automated build for packaging ProxySQL
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
mxnetci/build.ubuntu_cpu_julia latest
- version: 4.4.0-5
- arch: amd64
- upstream: z3
- distro: ubuntu-16.04
ccdlstaging/dr_no_op 549216c6fa7f6c80a5d78287c8814330f150428c
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
willdurand/arvernos-circle latest
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
dfinity/ic-build c09c09c9b48ca3ad09407c1cc8fa3e9483954ee046c64d23410d88b23f95e2f3
Docker container for building the Internet Computer
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
heroku/builder 20
Heroku's Cloud Native Buildpack builder.
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/unbundled-builder 40301-54e0ebc8c83cea0a94941100ee6c0574e0a454d0
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
mxnetci/build.ubuntu_gpu_cu92 latest
- version: 4.4.0-5
- arch: amd64
- upstream: z3
- distro: ubuntu-16.04
seahorn/buildpack-deps-seahorn jammy-llvm14
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
mxnetci/build.ubuntu_gpu_cu102 latest
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
mxnetci/build.ubuntu_gpu_cu90 latest
- version: 4.4.0-5
- arch: amd64
- upstream: z3
- distro: ubuntu-16.04
arangodb/ubuntubuildarangodb6-x86_64 13
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
rerunio/ci_docker 0.11.0
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/integration-test 332-0e809b06a907d42c978b175e1e420f4a46d9ee7e
- version: 4.8.12-1, 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
bannsec/autopwn latest
Automating fuzzing/drilling tasks.
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
41772ki/swift-mint 5.9.1
Swift image including Mint for linux
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
arangodb/ubuntubuildarangodb6-aarch64 13
- 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
ccdlstaging/dr_foreman 549216c6fa7f6c80a5d78287c8814330f150428c
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
1337server/arm-dependencies snyk-fix-4e11474b15b621b5126fd643c8ce4c17
All dep for arm in docker
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
arangodb/ubuntubuildarangodb3-aarch64 20
- version: 4.4.1-0.3build4
- arch: arm64
- upstream: z3
- distro: ubuntu-18.04
funjoker/circle-ci 4.3.4-buildpacks-hirsute
Images used on circleci.com
- version: 4.8.10-1ubuntu1
- arch: amd64
- upstream: z3
- distro: ubuntu-21.04
ponylang/ponyc-ci-x86-64-unknown-linux-gnu-builder 20230115
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
apache/orc-dev debian12
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
ccdlstaging/dr_smasher 549216c6fa7f6c80a5d78287c8814330f150428c
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04