Skip to content
amd64/debian/bullseye/pkg/z3 / sha256:4b2a928d6c36c61f3194ae6b945d8bec5684ff1c4af72e0b336be9490913582f

4.13.0.r96.g374609bd4

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

Loading

Manifest

{
  "digest": "sha256:4b2a928d6c36c61f3194ae6b945d8bec5684ff1c4af72e0b336be9490913582f",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 529,
  "config": {
    "digest": "sha256:dff8b05bc7934490362f6f01c4fbce19afcc34d4f455aabec24d33252ee3e4e0",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 1961
  },
  "layers": [
    {
      "digest": "sha256:3488eef73055fbe6caea8d8ffc9d01284d3b485b0f1c086570195b8bbdc0772a",
      "mediaType": "application/octet-stream",
      "size": 23079319
    },
    {
      "digest": "sha256:dff8b05bc7934490362f6f01c4fbce19afcc34d4f455aabec24d33252ee3e4e0",
      "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