Ecosyste.ms: Docker

An open API service providing dependency metadata for docker images.

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

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
Latest release: 12 months ago - 129,514,081 downloads - 859 dependencies
cimg/postgres 16.1-postgis

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: about 1 year ago - 109,485,547 downloads - 865 dependencies
library/ros iron-ros-core-jammy

The Robot Operating System (ROS) is an open source project for building robot applications.

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: over 1 year ago - 25,825,616 downloads - 416 dependencies
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
Latest release: 12 months ago - 25,207,125 downloads - 241 dependencies
clickhouse/integration-test 52662-2bcdd2c5a7cc4a72587ee39c0e6d1f20e72981f9

  • version: 4.8.7-4build1, 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 1 year ago - 8,994,090 downloads - 520 dependencies
mediagis/nominatim 4.3-a8fff59378c2ba3fa5d18e6dfdcd5eab03fc2645

100% working container for Nominatim

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: about 1 year ago - 7,923,868 downloads - 355 dependencies
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
Latest release: 12 months ago - 8,868,262 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: over 2 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: almost 2 years ago - 5,856,327 downloads - 915 dependencies
halternz/firmware 0.0.29

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: over 1 year ago - 2,651,274 downloads - 651 dependencies
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
Latest release: 11 months ago - 1,993,136 downloads - 2,168 dependencies
osrf/ros iron-desktop-full

The Robot Operating System (ROS) is an open source project for building robot applications.

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: over 1 year ago - 2,459,167 downloads - 1,820 dependencies
mxnetci/build.ubuntu_cpu latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 887,806 downloads - 806 dependencies
arm64v8/ros iron-perception-jammy

The Robot Operating System (ROS) is an open source project for building robot applications.

  • version: 4.8.12-1
  • arch: arm64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: over 1 year ago - 632,540 downloads - 1,263 dependencies
yandex/clickhouse-deb-builder 21495-39465b3fb6f158fae0a795608db976d275663310

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 3 years ago - 419,522 downloads - 409 dependencies
angr/ci remove-sphinx

CI image

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 522,459 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: about 1 year ago - 468,473 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: almost 2 years ago - 352,294 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: almost 3 years ago - 336,605 downloads - 343 dependencies
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
Latest release: about 1 year ago - 364,262 downloads - 2,545 dependencies
clickhouse/stateless-test 57596-f482dbae1053aed0efb284edd1873c726b9343c7

  • version: 4.8.7-4build1, 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: 11 months ago - 355,073 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: almost 4 years ago - 219,760 downloads - 795 dependencies
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
Latest release: about 2 years ago - 324,836 downloads - 956 dependencies
clickhouse/binary-builder 57596-f482dbae1053aed0efb284edd1873c726b9343c7

  • version: 4.8.7-4build1, 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: 11 months ago - 302,890 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: almost 2 years ago - 174,181 downloads - 415 dependencies
clickhouse/stateful-test 52662-2bcdd2c5a7cc4a72587ee39c0e6d1f20e72981f9

  • version: 4.8.7-4build1, 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 1 year ago - 249,470 downloads - 2,057 dependencies
clickhouse/stress-test 7023245bda69

  • version: 4.8.7-4build1, 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: 11 months ago - 271,544 downloads - 2,068 dependencies
duckietown/dt-base-environment ente

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: over 1 year ago - 152,661 downloads - 343 dependencies
clickhouse/unit-test 54187-0fa8527b1282808c7e721a0aab1fb6b4f75555fc

  • version: 4.8.7-4build1, 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: 11 months ago - 249,740 downloads - 2,061 dependencies
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
Latest release: 11 months ago - 138,663 downloads - 1,327 dependencies
clickhouse/fuzzer 57596-f482dbae1053aed0efb284edd1873c726b9343c7

  • version: 4.8.7-4build1, 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: 11 months ago - 229,851 downloads - 359 dependencies
ccdlstaging/dr_downloaders 549216c6fa7f6c80a5d78287c8814330f150428c

  • version: 4.4.1-0.3build4
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-18.04
Latest release: 12 months ago - 124,831 downloads - 1,028 dependencies
arangodb/ubuntubuildarangodb4-x86_64 21

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 113,181 downloads - 502 dependencies
clickhouse/performance-comparison 57596-cd0713ce36bc07a9d963498f8811641741c1f500

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: 11 months ago - 191,931 downloads - 517 dependencies
clickhouse/deb-builder 48248-171a8f08c80084296e0c88166882bbfd9db25b26

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 108,790 downloads - 396 dependencies
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
Latest release: over 1 year ago - 158,370 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: almost 4 years ago - 103,282 downloads - 795 dependencies
apache/pegasus build-env-ubuntu2004-ci_refactor_more

Apache Pegasus (incubating)

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: 11 months ago - 372,876 downloads - 585 dependencies
clickhouse/fasttest 58567-94aefc5d6706b2683ffc6243587cbd540fee367b

  • version: 4.8.7-4build1, 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: 11 months ago - 204,582 downloads - 362 dependencies
arangodb/ubuntubuildarangodb5-x86_64 17

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 95,993 downloads - 509 dependencies
84codes/crystal 1.10.1-ubuntu-jammy

Multi-arch Crystal images for multiple OSes

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: about 1 year ago - 136,713 downloads - 273 dependencies