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

adizbek/ubuntu-compilers 3.1.0

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: 12 months ago - 709 downloads - 1,438 dependencies
modelbox/modelbox-develop-libtorch_1.9.1-cuda_10.2-ubuntu-x86_64 v1.6.1

  • version: 4.4.1-0.3build4
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-18.04
Latest release: over 1 year ago - 692 downloads - 1,144 dependencies
modelbox/modelbox-develop-tensorrt_7.1.3-cuda_10.2-ubuntu-x86_64 v1.6.1

  • version: 4.4.1-0.3build4
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-18.04
Latest release: over 1 year ago - 596 downloads - 1,154 dependencies
seahorn/seahorn-llvm14 nightly

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: almost 2 years ago - 3,450 downloads - 559 dependencies
legleux/clio_builder latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 2 years ago - 453 downloads - 300 dependencies
opengisch/qfieldcloud-qgis commit-34fda03

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: 11 months ago - 785 downloads - 2,551 dependencies
jfmorneau/ubuntu latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 4 years ago - 416 downloads - 715 dependencies
alekcander/theia dev

  • version: 4.4.1-0.3build4
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-18.04
Latest release: over 3 years ago - 406 downloads - 5,414 dependencies
legleux/ct latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 2 years ago - 385 downloads - 317 dependencies
prosyslab/classroom latest

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: over 2 years ago - 425 downloads - 1,124 dependencies
zhongruoyu/workbench mantic

My workbench Docker images. Based on zhongruoyu/sandbox.

  • version: 4.8.12-3.1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-23.04
Latest release: 12 months ago - 1,024 downloads - 3,324 dependencies
madiator2011/kasm-core-standalone sslfix

kasm-core Ubuntu image to run standalone

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 1,234 downloads - 2,343 dependencies
ashish1981/s390x-ubuntu-r-base latest

  • version: 4.8.7-4build1
  • arch: s390x
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 3 years ago - 382 downloads - 927 dependencies
ponylang/ponyc-ci-cross-riscv64 20230808

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 959 downloads - 246 dependencies
aalbaali/latex dev

Latex container

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: about 2 years ago - 648 downloads - 2,401 dependencies
bomdic/rd-ci 1.7.0

  • version: 4.8.12-1, 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: over 1 year ago - 1,746 downloads - 362 dependencies
seahorn/seahorn-builder bionic-llvm10

  • version: 4.4.1-0.3build4
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-18.04
Latest release: almost 4 years ago - 268 downloads - 582 dependencies
osrf/space-ros humble-2023.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
Latest release: 11 months ago - 1,099 downloads - 651 dependencies
storykit/base-image wgpu

  • version: 4.8.12-3.1, 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-23.04
Latest release: over 1 year ago - 3,785 downloads - 634 dependencies
azhallaoui/appium23 latest

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: almost 2 years ago - 7,947 downloads - 950 dependencies
prosyslab/dude latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 379 downloads - 818 dependencies
modelbox/modelbox-develop-tensorrt_8.4.2-cuda_11.2-ubuntu-x86_64 v1.6.1

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 266 downloads - 1,120 dependencies
brendanburns/wasm-dev-base 0.0.7

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: almost 2 years ago - 387 downloads - 234 dependencies
fazenda/cuberite latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 4 years ago - 207 downloads - 246 dependencies
qdidiscoveryservices/scrna_downstream 1.1

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 3 years ago - 354 downloads - 1,716 dependencies
clickhouse/clickhouse-deb-builder 28582-7a5846c5f7c44c61df792c777013ddcc90836f0b

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 3 years ago - 258 downloads - 394 dependencies
hanzhi227/lambda-docker-test house

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: almost 2 years ago - 185 downloads - 833 dependencies
yosyshq/plugin_build 20.04

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 387 downloads - 231 dependencies
clickhouse/clickhouse-unbundled-builder 28758-44af907ce57ffb56b9c01b37177b5360e89d00c4

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 3 years ago - 263 downloads - 532 dependencies
ponylang/ponyc-ci-x86-64-unknown-linux-gnu-builder-20-test 20200423

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 4 years ago - 382 downloads - 278 dependencies
darpansupra/vrf 0.2.0

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 156 downloads - 2,237 dependencies
ponylang/ponyc-ci-cross-aarch64 20230811

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 1 year ago - 640 downloads - 224 dependencies
clickhouse/clickhouse-codebrowser 28758-44af907ce57ffb56b9c01b37177b5360e89d00c4

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 3 years ago - 212 downloads - 338 dependencies
clickhouse/clickhouse-split-build-smoke-test 28758-44af907ce57ffb56b9c01b37177b5360e89d00c4

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 3 years ago - 210 downloads - 324 dependencies
clickhouse/clickhouse-binary-builder 28759-dcf7cb4a5c9e775922e23b23d903d74abdc12480

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 3 years ago - 211 downloads - 326 dependencies
prosyslab/bug-bench-base 22.04

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: about 1 year ago - 161 downloads - 497 dependencies
ponylang/ponyc-ci-cross-arm-20-test 20200423

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 4 years ago - 382 downloads - 278 dependencies
ponylang/ponyc-ci-cross-armhf-20-test 20200423

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 4 years ago - 380 downloads - 278 dependencies
codeany/universal daytona

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: over 1 year ago - 667 downloads - 2,663 dependencies
dockitava/package-builder latest

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: almost 2 years ago - 223 downloads - 1,589 dependencies
hhanh00/zwallet_builder_linux latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 199 downloads - 1,139 dependencies
khiltunen/wind-power-tools vtest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 205 downloads - 3,126 dependencies
robocin/cpp-ubuntu-latest latest

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: almost 2 years ago - 267 downloads - 441 dependencies
threefolddev/tfchain 2.6.0-rc1

Docker images used for building tfchain: https://github.com/threefoldtech/tfchain

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: 12 months ago - 175 downloads - 536 dependencies
cportalsolucoes/flutter_web-android 1.3

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.10
Latest release: over 1 year ago - 261 downloads - 739 dependencies
mwsnaas/vpp-svc2210 rc6

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: almost 2 years ago - 111 downloads - 811 dependencies
togettoyou/ghcr.io.merbridge.merbridge latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 2 years ago - 98 downloads - 364 dependencies
yegor256/c2eo 0.1.24

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 2 years ago - 97 downloads - 300 dependencies
tringuyen173/staging_rust_builder latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 2 years ago - 94 downloads - 762 dependencies
jafoltz/scclassify latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 90 downloads - 1,079 dependencies
theontechnologyllc/ubuntu_builder_image2204 latest

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: over 1 year ago - 92 downloads - 2,102 dependencies
prosyslab/bug-bench-jasper 3c55b39-22.04

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 1 year ago - 116 downloads - 487 dependencies
frolvlad/near-cli-rs-cross x86_64-unknown-linux-musl

Used for near.cli.rs

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 3 years ago - 86 downloads - 316 dependencies
thinkpranav/infer-ubuntu20 latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 3 years ago - 96 downloads - 748 dependencies
truecharts/tdarr build20230424051005

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 646 downloads - 599 dependencies
prosyslab/dafl-bench latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 97 downloads - 548 dependencies
rocm/mlir-migraphx-ci rocm5.7-9c9c2fdb2c

The CI to track MLIR changes for MIGraphX repo.

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: 11 months ago - 534 downloads - 558 dependencies
mlepetit/ranalysis 3.3.4

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 79 downloads - 2,131 dependencies
calavera/rust-musl-cross armv7-musleabi

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: about 2 years ago - 199 downloads - 326 dependencies
hasura/ci-benchmark-runner 3ecbae578ef3f5ecafde35209e7ade36af1372a587707f69f9f2c2262aba40f3

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 105 downloads - 412 dependencies
kostirez1/sdk latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 65 downloads - 325 dependencies
deeptimhe/ubuntu20.04-cuda11.3.1-python3.8-pytorch1.12 orig-sing-stable-pl1.9-0612-pcavs

FROM: https://github.com/Lightning-AI/lightning/blob/master/dockers/base-cuda/Dockerfile

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: 12 months ago - 293 downloads - 2,234 dependencies
prosyslab/bug-bench-libming 0.4.8

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 93 downloads - 485 dependencies
prosyslab/bug-bench-patch 2.7.6

  • version: 4.8.7-4build1, 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 76 downloads - 497 dependencies
ccdlstaging/dr_common_tests 549216c6fa7f6c80a5d78287c8814330f150428c

  • version: 4.4.1-0.3build4
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-18.04
Latest release: 11 months ago - 710 downloads - 784 dependencies
ulisesjeremias/vsl dev

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 115 downloads - 686 dependencies
quantumbrilliance/sdk-demo deploy

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 62 downloads - 2,177 dependencies
kylevedder/detection3d latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 59 downloads - 954 dependencies
prosyslab/bug-bench-latex2rtf 2.3.8

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 74 downloads - 473 dependencies
smdevtest/sn_base latest

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: about 2 years ago - 142 downloads - 693 dependencies
willdurand/arvernos-toolchain latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 2 years ago - 67 downloads - 571 dependencies
polardb/polardb_pg_binary pfs

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 239 downloads - 515 dependencies
prosyslab/bug-bench-bc 1.06-22.04

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: about 1 year ago - 71 downloads - 4 dependencies
prosyslab/bug-bench-leptonica 1.75.2

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 56 downloads - 480 dependencies
seahorn/smartace baijiu

  • version: 4.4.1-0.3build4
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-18.04
Latest release: about 3 years ago - 62 downloads - 607 dependencies
cybwan/osm-edge-merbridge-base latest

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: almost 2 years ago - 435 downloads - 212 dependencies
hun1er/ubuntu-gcc-clang-intel-boost latest

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 58 downloads - 395 dependencies
gitpod/workspace-python-tk-vnc branch-tk-dev

  • version: 4.8.7-4build1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-20.04
Latest release: almost 4 years ago - 54 downloads - 3,109 dependencies
feabhas/ubuntu-projects 36

  • version: 4.8.12-1
  • arch: amd64
  • upstream: z3
  • distro: ubuntu-22.04
Latest release: 10 months ago - 359 downloads - 436 dependencies