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
cimg/python 3.12.1
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
cimg/postgres 16.1-postgis
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
library/swift 5.9.2
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 52662-2bcdd2c5a7cc4a72587ee39c0e6d1f20e72981f9
- version: 4.8.12-1, 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
mediagis/nominatim 4.3-a8fff59378c2ba3fa5d18e6dfdcd5eab03fc2645
100% working container for Nominatim
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
heroku/heroku 22-cnb-build.v116
Heroku's stack images as Docker images
- 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
heroku/buildpacks latest
[DEPRECATED] Replaced by `heroku/builder`.
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
halternz/firmware 0.0.29
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
fpco/stack-build lts-21.25
GHC, tools (stack, cabal-install, alex, etc.), and system dev libs.
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
mxnetci/build.ubuntu_cpu latest
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
yandex/clickhouse-deb-builder 21495-39465b3fb6f158fae0a795608db976d275663310
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
angr/ci remove-sphinx
CI image
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
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
termux/package-builder latest
Image for building termux packages
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
yandex/clickhouse-binary-builder 21495-39465b3fb6f158fae0a795608db976d275663310
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
qgis/qgis release-3_32
This is the official docker repository for http://qgis.org
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
clickhouse/stateless-test 57596-f482dbae1053aed0efb284edd1873c726b9343c7
- version: 4.8.7-4build1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
mxnetci/build.ubuntu_gpu_cu101 latest
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
messense/rust-musl-cross s390x-musl
Docker images for compiling static Rust binaries using musl-cross
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
clickhouse/binary-builder 57596-f482dbae1053aed0efb284edd1873c726b9343c7
- version: 4.8.7-4build1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
arangodb/ubuntubuildarangodb3-x86_64 20
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
clickhouse/stateful-test 52662-2bcdd2c5a7cc4a72587ee39c0e6d1f20e72981f9
- version: 4.8.7-4build1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/stress-test 7023245bda69
- version: 4.8.7-4build1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/unit-test 54187-0fa8527b1282808c7e721a0aab1fb6b4f75555fc
- version: 4.8.7-4build1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
qgis/qgis3-build-deps release-3_34
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/fuzzer 57596-f482dbae1053aed0efb284edd1873c726b9343c7
- version: 4.8.7-4build1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
ccdlstaging/dr_downloaders 549216c6fa7f6c80a5d78287c8814330f150428c
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
arangodb/ubuntubuildarangodb4-x86_64 21
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
clickhouse/performance-comparison 57596-cd0713ce36bc07a9d963498f8811641741c1f500
- 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.5.0-jammy
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
mxnetci/build.ubuntu_build_cuda latest
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
apache/pegasus build-env-ubuntu2004-ci_refactor_more
Apache Pegasus (incubating)
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
clickhouse/fasttest 58567-94aefc5d6706b2683ffc6243587cbd540fee367b
- version: 4.8.7-4build1, 4.8.12-1
- 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.10.1-ubuntu-jammy
Multi-arch Crystal images for multiple OSes
- version: 4.8.12-1, 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
tarantool/testing ubuntu-xenial
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
ccdlstaging/dr_affymetrix f30409aceba66e19235b21b4ca8899e318e02e30
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04