Ecosyste.ms: Docker

An open API service providing dependency metadata for docker images.

Package Usage : deb : ubuntu/z3

Explore the latest package usage data for ubuntu/z3 in the deb ecosystem, including detailed information on package dependencies and their usage.

Total dependents: 8
Total downloads: 20,545

More details on packages.ecosyste.ms - JSON

johan1a/sbot latest

  • version: 4.4.0-5
  • arch: amd64
  • distro: ubuntu-16.04
Latest release: over 6 years ago - 19,156 downloads - 597 dependencies
vanessa/penrose 3446e147f9

development docker container for penrose

  • version: 4.4.0-5
  • arch: amd64
  • distro: ubuntu-16.04
Latest release: almost 6 years ago - 152 downloads - 2,623 dependencies
anaumchev/autoproof 0

  • version: 4.8.7-4build1
  • arch: amd64
  • distro: ubuntu-20.04
Latest release: almost 3 years ago - 141 downloads - 285 dependencies
johan1a/banking latest

  • version: 4.4.0-5
  • arch: amd64
  • distro: ubuntu-16.04
Latest release: over 6 years ago - 132 downloads - 600 dependencies
hasura/stack-build lts-13.20

  • version: 4.4.0-5
  • arch: amd64
  • distro: ubuntu-16.04
Latest release: over 5 years ago - 54 downloads - 2,695 dependencies
hasura/taskq-stack-build latest

  • version: 4.4.0-5
  • arch: amd64
  • distro: ubuntu-16.04
Latest release: over 6 years ago - 25 downloads - 2,586 dependencies
gehighassurance/oyster-proofchecker-dev latest

  • version: 4.8.12-1
  • arch: amd64
  • distro: ubuntu-22.04
Latest release: over 1 year ago - 11 downloads - 170 dependencies
agerdes/introfp-slim latest

  • version: 4.8.12-1
  • arch: amd64
  • distro: ubuntu-22.04
Latest release: over 1 year ago - 874 downloads - 275 dependencies