Skip to content
amd64/debian/bullseye/pkg/z3 / sha256:3f16b4b83df84736bb317b11b57fda1326d40081ca7e2c5476124ef2a2bf930d

4.13.0.r123.gfe594618e

sha256:3f16b4b83df84736bb317b11b57fda1326d40081ca7e2c5476124ef2a2bf930d
Install from the command line
Learn more about packages
$ docker pull ghcr.io/hdl/amd64/debian/bullseye/pkg/z3:4.13.0.r123.gfe594618e
Use as base image in Dockerfile:
FROM ghcr.io/hdl/amd64/debian/bullseye/pkg/z3:4.13.0.r123.gfe594618e

Loading

Manifest

{
  "digest": "sha256:3f16b4b83df84736bb317b11b57fda1326d40081ca7e2c5476124ef2a2bf930d",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 529,
  "config": {
    "digest": "sha256:44a0dd5b77fc4d6bd6b2d16c6c6ad6a24916f4c8852b816578a645e4cdd055ea",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 1961
  },
  "layers": [
    {
      "digest": "sha256:d710d9ed63101b7ee7814b9b86e8d52bd14b0a884ebfe707983533e1c18bbea8",
      "mediaType": "application/octet-stream",
      "size": 23098301
    },
    {
      "digest": "sha256:44a0dd5b77fc4d6bd6b2d16c6c6ad6a24916f4c8852b816578a645e4cdd055ea",
      "mediaType": "application/octet-stream",
      "size": 1961
    }
  ]
}

Details

Download activity

  • Total downloads 1
  • Last 30 days 1
  • Last week 1
  • Today 0

Other tags on this version