Skip to content
amd64/debian/bullseye/pkg/z3 / sha256:92908ac049bb6f087eba4af99392886bfb7398089eb0014657045383bf0918ea

4.13.0.r134.g3e518b9e8

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

Loading

Manifest

{
  "digest": "sha256:92908ac049bb6f087eba4af99392886bfb7398089eb0014657045383bf0918ea",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 529,
  "config": {
    "digest": "sha256:f1e48bc7bd1363a6396ebde9ec190abea49422115b8b65f4889e01a253a35995",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 1961
  },
  "layers": [
    {
      "digest": "sha256:7969dfe0acd0439269b5ea1902c3eb28ed1bb86051abd1211deda23e0cb185c4",
      "mediaType": "application/octet-stream",
      "size": 23076679
    },
    {
      "digest": "sha256:f1e48bc7bd1363a6396ebde9ec190abea49422115b8b65f4889e01a253a35995",
      "mediaType": "application/octet-stream",
      "size": 1961
    }
  ]
}

Details

Download activity

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

Other tags on this version