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
modelw/base 2025.01
Base image that can be used for all Model W projects
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
timescaledev/rust-pgx-test latest
A test version of rust-pgx used to test-push images.
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
huggingface/datasets-server-workers-parquet sha-18f56cb
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
aditichak/naivebayes latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
aditichak/lr latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
aditichak/initial-process latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
aditichak/graphs latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
ncesnagoya/autosar_os_training 0-debian-11
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
aditichak/summary latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
truecharts/scrypted-full build20230429071304
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
truecharts/scrypted-thin build20230429071308
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
truecharts/scrypted-lite build20230429071307
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
thebigg1/rsty_physics latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
rezareza/go-build latest
- version: 4.4.1-1~deb10u1
- arch: amd64
- upstream: z3
- distro: debian-10
datasignals/theia.1.26.0 v0.0.2
- version: 4.4.1-1~deb10u1
- arch: amd64
- upstream: z3
- distro: debian-10
veyselsahin16/nginx-websocket-mysql-exporter 8
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
tercen/template-python-operator 0.2.0
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
aditichak/prediction latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
kubeshark/linux-arm64-musl-go-libpcap-capstone-bpf capstone-5.0-rc2
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
eengies/api-rains-predict 0.0.1
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
avidcloud/pontoon latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
xandkeeper/tpfs-rust 1.65.0-18
TPFS Rust CI image
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
obsidiandynamics/rust-xcomp 0.1.0-1.65.0-slim-bullseye
Cross-compilation for Rust
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
wardf/netcdf-tests latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
miyani123/bhavani-22 chapel-gasnet-smp--latest
Docker playground
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
kindtek/rust 1.65.0
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
pradyumn7/r3-6-2 v2
- version: 4.4.1-1~deb10u1
- arch: amd64
- upstream: z3
- distro: debian-10
ibivibiv/configbox-api latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
ogrebatel/mond_db_on_str latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
baidang201/redstone-node latest
- version: 4.4.1-1~deb10u1
- arch: amd64
- upstream: z3
- distro: debian-10
eicweb/nightly-2023-03-16 latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
paritytech/ink-ci-linux ee3f4073-20230720
ink-ci-linux utility Docker image.
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
eicweb/jug_xl 3.0.0
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-12
paritytech/bridges-ci 39b5a76d-20240205
bridges-ci utility Docker image.
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
immortalwrt/imagebuilder lantiq-xrx200-24.10-SNAPSHOT
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
lucaamato/wps-da1 latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
dasch0/ei-optra-base 0.5.0
- version: 4.8.10-1
- arch: arm64
- upstream: z3
- distro: debian-11
kindtek/rust-nightly 2022-11-30
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
dandielectronics/ceedling-cmake libcdi
Image for testing with ceedling and building with cmake
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
neo4jbuildservice/gds-python3-jdk17 latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-12
dup4/morden-cpp-dev-llvm 16-bullseye
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
mikesharon41/gardenpy latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
esara/builder 0.0.14
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
eicweb/nightly-2023-04-05 latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
eicweb/nightly-2023-03-26 latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
itsafeaturemythic/mythic_base_image 0.0.2
Deprecated in favor of mythic_go_base and mythic_python_base
- version: 4.4.1-1~deb10u1
- arch: amd64
- upstream: z3
- distro: debian-10
thechi2000/cs212-feedback earlyweeks
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
tom333/coder latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
maheshrayas/xdp-log v0.5.0
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
deweycw/corems latest
CoreMS container for formulas assignment to HRMS datasets
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
labs47b/postgres-posgis vidoms
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
eicweb/nightly-2023-03-22 latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
maheshrayas/kube-guardian v0.4.1
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
xcesco/climata-telegraf 1.26
Image based on the official telegraf image with Python support.
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
eicweb/debian_stable_base unstable-mr-369-558
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-12
kickable/builder latest
kickable/builder is the build image that answers the question... Can I Kick It?
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-12
dscso/rust-crosscompiler latest
- version: 4.8.10-1
- arch: arm64
- upstream: z3
- distro: debian-11
lighghteeloo/eecs470-clash-arm latest
- version: 4.8.10-1
- arch: arm64
- upstream: z3
- distro: debian-11
richardluo831/cpp-dev latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
mguzelevich/gis 20230220_235705
GDAL/OGR, postgesql + postgis + h3 & other extentions
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
saltynt1/c-libfuzzer latest
- version: 4.4.1-1~deb10u1
- arch: amd64
- upstream: z3
- distro: debian-10
minhthucdao1/byconity-builder latest
ByConity builder base image
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
benjaminmnoer/trinity-worldserver latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
isajiro/hardcore_blackwell latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
pmpplatform/gocd-agent-swift swift5.8
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
hasura/postgres-15beta4-postgis 097270868b2ad9bcd368d74de437408adc5e817698a908f851471ccea279648e
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
eicweb/nightly-2023-03-05 latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
binarii/ocr-devel ubuntu20.04
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
andyosei36/ic-dev-full buildx-latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
eicweb/nightly-2023-03-08 latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
geosolutionsit/mapstore-tests 0.2
Node and Chrome Headless to run MapStore tests
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
itsafeaturemythic/mythic_python_macos 1.1.15
Mythic v3.0 image that contains Python 3.11, mythic-container PyPi, and macOS 12.1 SDK
- version: 4.4.1-1~deb10u1
- arch: amd64
- upstream: z3
- distro: debian-10
defstream/builder latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-12
eicweb/nightly-2023-03-23 latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
ogrebatel/mond_db_web_log latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
lcjuves/develop-environment latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-12
eicweb/nightly-2023-03-29 latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
congyuwang/socket-manager-dev debian-11
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
eicweb/nightly-2023-04-28 latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
saverio976/vscode-nvim latest
try to have a vscode-like with neovim config
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
lekachka/pg_mappitall latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
lincyaw/rpcover latest
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian
pikokr/pontoon latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
swang095/mujinopenchallenge v5
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
cdfng/flutter-dev web
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-12
magnoabreu/solon-db 1.0
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
zsusag/symprob latest
- version: 4.8.10-1
- arch: amd64
- upstream: z3
- distro: debian-11
mediakraken/mkbase_rust_debian dev
- version: 4.8.12-3.1
- arch: amd64
- upstream: z3
- distro: debian-12