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
arangodb/ubuntubuildarangodb4-aarch64 21
- version: 4.8.7-4build1
- arch: arm64
- upstream: z3
- distro: ubuntu-20.04
scalingo/scalingo-20 v9
Scalingo Stack image based on Ubuntu 20.04 LTS
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/binary-builder 332-0e809b06a907d42c978b175e1e420f4a46d9ee7e
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
arm64v8/swift 5.9-amazonlinux2-slim
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
ccdlstaging/dr_illumina 549216c6fa7f6c80a5d78287c8814330f150428c
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
altinityinfra/codebrowser 265-227b78a228b6ee63ea9133e122449eb5cfd8efd6
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/stateless-test 339-70a7c800fa6c05a764bcbcaa3610f7e7f8a4072a
- version: 4.8.12-1, 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
cybwan/osm-edge-interceptor sha-98a56c745e8bbb78825a1dfa22a8bdac288530af
- version: 4.8.7-4build1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/stateful-test 332-0e809b06a907d42c978b175e1e420f4a46d9ee7e
- version: 4.8.12-1, 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
mxnetci/build.ubuntu_gpu_cu80 latest
- version: 4.4.0-5
- arch: amd64
- upstream: z3
- distro: ubuntu-16.04
altinityinfra/test-util 332-0e809b06a907d42c978b175e1e420f4a46d9ee7e
- version: 4.8.12-1, 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
ccdlstaging/dr_transcriptome 549216c6fa7f6c80a5d78287c8814330f150428c
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
altinityinfra/test-base 332-0e809b06a907d42c978b175e1e420f4a46d9ee7e
- version: 4.8.7-4build1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/split-build-smoke-test 265-227b78a228b6ee63ea9133e122449eb5cfd8efd6
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/stress-test 332-0e809b06a907d42c978b175e1e420f4a46d9ee7e
- version: 4.8.7-4build1, 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/performance-comparison 331-3bf650469ca1af09e98049bd88b2405d70bfb0fe
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
altinityinfra/fasttest 332-0e809b06a907d42c978b175e1e420f4a46d9ee7e
- version: 4.8.12-1, 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
altinityinfra/keeper-jepsen-test 329-2d0b9cc45b5d5cf79d85a455036ff5f2a1d2ce8e
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/fuzzer 332-0e809b06a907d42c978b175e1e420f4a46d9ee7e
- version: 4.8.12-1, 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
altinityinfra/unit-test 332-0e809b06a907d42c978b175e1e420f4a46d9ee7e
- version: 4.8.12-1, 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
krishneel/ros2-foxy latest
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
altinityinfra/deb-builder 0-8f19a7dee30653ead72cb7e8b87b9bc499a19d8d
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
ccdlstaging/dr_compendia 549216c6fa7f6c80a5d78287c8814330f150428c
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
electronicstructure/sirius latest
SIRIUS electronic structure library and applications
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
ponylang/ponyc-ci-cross-arm 20230809
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
firefart/dockerctf latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: ubuntu-23.10
ponylang/ponyc-ci-cross-armhf 20230809
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
ponylang/ponyc-ci-x86-64-unknown-linux-ubuntu22.04-builder 20230829
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
omalaspinas/palabos latest
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
ponylang/ponyc-ci-aarch64-unknown-linux-ubuntu22.04-builder 20220720
- version: 4.8.12-1
- arch: arm64
- upstream: z3
- distro: ubuntu-22.04
prosyslab/directed-benchmark-final semantic-bof-xmllint
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
seahorn/clam-llvm10 nightly
Static Analysis based on Abstract Interpretation for LLVM 10
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
lumigo/ci-ubuntu2204 node16
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
timescaledev/rust-builder 5bedae184ab91957b61c79594c5349df3586a974-ubuntu-nightly
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
takosan/sim2022 latest
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
ponylang/ponyc-ci-aarch64-unknown-linux-ubuntu20.04-builder 20220720
- version: 4.8.7-4build1
- arch: arm64
- upstream: z3
- distro: ubuntu-20.04
express42/theia-k8s 0.15.0-kube-1.17.3-helm-3.1.0-yaml-plugin
- version: 4.4.1-0.3build4
- arch: amd64
- upstream: z3
- distro: ubuntu-18.04
cnrancher/rancher-auditlog-allinone v1.1.7
- version: 4.8.12-1
- arch: arm64
- upstream: z3
- distro: ubuntu-22.04
amayalightyear/python3.10.6-node14.20.0-chrome107 latest
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
tuxmake/ci-python3.8 latest
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
sourcegraph/lsif-clang latest
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
modelbox/modelbox-develop-tensorflow_2.6.0-cuda_11.2-ubuntu-x86_64 v1.6.1
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
modelbox/modelbox-develop-mindspore_1.6.1-cann_5.0.4-ubuntu-x86_64 v1.6.0
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04
robinhoodis/sphinx latest
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
hyperledger/iroha2-ci nightly-2023-06-25
- version: 4.8.12-1
- arch: amd64
- upstream: z3
- distro: ubuntu-22.04
adizbek/ubuntu-compilers 3.1.0
- version: 4.8.7-4build1
- arch: amd64
- upstream: z3
- distro: ubuntu-20.04