Package Usage : deb : debian/libz3-dev
Explore the latest package usage data for debian/libz3-dev in the deb ecosystem, including detailed information on package dependencies and their usage.
Total dependents: 243
Total downloads: 23,020,361
More details on packages.ecosyste.ms - JSON
kartoza/postgis 17-3.5--v2025.02.24
Ready to run PostGIS geospatial database
- version: 4.8.10-1, 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-11
gitlab/gitlab-ee-qa 42.0.0-ee
GitLab QA has a test suite that allows end-to-end tests. https://gitlab.com/gitlab-org/gitlab-qa
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
prismagraphql/build cross-linux-musl-arm-ssl-3.0.x-integration
Build images for Prisma2
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
silkeh/clang 19-bullseye
Dockerfiles for Clang and LLVM
- version: 4.8.10-1, 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-11
gitlab/gitlab-ce-qa 17.4.1
GitLab QA has a test suite that allows end-to-end tests. https://gitlab.com/gitlab-org/gitlab-qa
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
datadog/dd-appsec-php-ci frankenphp-8.4-release-zts
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
kartoza/pg-backup 17-3.5--v2025.03.26
- version: 4.8.10-1, 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-11
tarantool/testing ubuntu-jammy-clang19
- version: 4.4.1-1~deb10u1
- arch: amd64
- upstream: z3
- distro: debian-10
immortalwrt/sdk qoriq-generic
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
rhub/debian-clang-devel latest
R-devel on Debian, compiled with clang, ISO-8859-15 default locale
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
grafana/agent-build-image 0.44.2
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
paritytech/contracts-ci-linux ee3f4073-20230720
contracts-ci-linux utility Docker image.
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
timescaledev/rust-pgx latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
dockcross/linux-x64-clang 20250109-7bf589c
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
alexshcdr/icm-debian-stable-x86_64 latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
alexshcdr/hmi-boss-debian-stable-x86_64 latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
apache/age v1.1.0
Apache AGE
- version: 4.8.10-1, 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-11
timescaledev/toolkit-builder ubuntu-24.04-amd64
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-12
jess/bcc-tools latest
- version: 4.8.12-1 b1
- arch: amd64
- upstream: [email protected]
- distro: debian
dockcross/web-wasi 20250109-7bf589c
- version: 4.8.10-1, 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-11
danger89/cmake 5.2
Cmake (boost,ninja) C++ Docker image + cppcheck, cpplint, doxygen , clang-format, and more!
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
espressif/idf-rust 1.60.0
Container image with support for Rust on Espressif SoCs
- version: 4.8.10-1, 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-11
jess/bcc latest
- version: 4.8.12-1 b1
- arch: amd64
- upstream: [email protected]
- distro: debian
danger89/gtk3-docker-cmake-ninja 4.3
Docker image with GTK3, gtkmm, cmake, cpack, cppcheck, doxygen, clang-format & Ninja build.
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
spaulg/php-ext-dev-containers 7.2
PHP extension dev containers
- version: 4.4.1-1~deb10u1
- arch: amd64
- upstream: z3
- distro: debian-10
kstiehl/rust-cmake 0.0.2
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
rhub/debian-clang latest
Debian testing, with latest clang and GNU Fortran installed
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
jess/bpftrace latest
- version: 4.8.9-1
- arch: amd64
- upstream: z3
- distro: debian
gsmlg/editor-server v4.98.2
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
nfvri/golang-base bookworm-1.20.6-2.10.0
- version: 4.8.12-3.1, 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-12
huggingface/datasets-server-workers-datasets_based sha-67c2eee
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
datasignals/mainstack-plus-theia stag-1.1.7
- version: 4.4.1-1~deb10u1
- arch: amd64
- upstream: z3
- distro: debian-10
cnrancher/rancher-auditlog-fluentbit v1.0.13
- version: 4.8.10-1
- arch: arm64
- upstream: z3
- distro: debian-11
eicweb/jug_dev 3.0.0
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
lucaamato/wps-da 02
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
eicweb/juggler latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
espressif/rust-std-training latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-12
timescaledev/toolkit-builder-test ubuntu-24.04-arm64
- version: 4.8.12-3.1
- arch: arm64
- upstream: z3
- distro: debian-12
huggingface/datasets-server-workers-first_rows sha-f7127d0
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
cffs/compilers latest
Reference environment for the INFO0085 compilers course.
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
huggingface/datasets-server-workers-splits sha-18f56cb
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
huggingface/datasets-server-services-api sha-6b11d65
- version: 4.8.12-3.1, 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-12
ismdeep/justoj-core 202210060114285669f4
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
juicedata/golang-cross v1.18.7
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
alexshcdr/imc-debian-stable-x86_64 1.1
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-12
aditichak/preprocessor-nlp latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
alexshcdr/iocpp-debian-stable-x86_64 latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
aditichak/modeltest latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
adguard/core-libs 2.4
- version: 4.4.1-1~deb10u1
- arch: amd64
- upstream: z3
- distro: debian-10
aroharia/ei-optra-react-app latest
- version: 4.8.10-1
- arch: arm64
- upstream: z3
- distro: debian-11
dhrumiltoddleapp/dev-db 0.3.0
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
rfc1149/builder latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-12
imagedong/nettrace-build latest
- version: 4.8.12-3
- arch: amd64
- upstream: z3
- distro: debian
datasignals/theiacpp latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
rfratto/agent-build-image 0.21.0-go-patch-5
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
mossaka/wit-bindgen d24b97f
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
aditichak/svc latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11