Skip to content
amd64/debian/bullseye/pkg/z3 / sha256:a458e61727b9f7663dcd15a246388a66dcc92faba001e96be7e3e35a9382f564

4.13.0.r103.g08b633806

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

Loading

Manifest

{
  "digest": "sha256:a458e61727b9f7663dcd15a246388a66dcc92faba001e96be7e3e35a9382f564",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 529,
  "config": {
    "digest": "sha256:2f3a977bce1420daff91292951300dd4c3d9478bb5dbdfa816fcbd8a135bdab6",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 1961
  },
  "layers": [
    {
      "digest": "sha256:0bec5278f2010a0e5c1214c07588f70bc9c8c37ed693be1d1b3e2c4ab6458931",
      "mediaType": "application/octet-stream",
      "size": 23079319
    },
    {
      "digest": "sha256:2f3a977bce1420daff91292951300dd4c3d9478bb5dbdfa816fcbd8a135bdab6",
      "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