{
  "digest": "sha256:5c9be045bc07ca791f2874b4fb6e4fc36f65d70ed1751b9563fa1f6e29116d4a",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 2005,
  "config": {
    "digest": "sha256:d58c38a0ac0fd938b9e8b44a438df46b50f3a72507c595bff3ba5f81d9270750",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 4300
  },
  "layers": [
    {
      "digest": "sha256:4f4fb700ef54461cfa02571ae0db9a0dc1e0cdb5577484a6d75e68dc38e8acc1",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 32
    },
    {
      "digest": "sha256:31bd5f451a847d651a0996256753a9b22a6ea8c65fefb010e77ea9c839fe2fac",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 30447882
    },
    {
      "digest": "sha256:17847399986d3919565eb74003a5ac8855ef6a2292f3a15312d9f5a6716791d0",
      "mediaType": "application/octet-stream",
      "size": 471538735
    },
    {
      "digest": "sha256:5187f5aa11753edc94b8df63c90b6715ab04b35f9c74c17ac594d1f0395dc239",
      "mediaType": "application/octet-stream",
      "size": 35998045
    },
    {
      "digest": "sha256:e64f010e236627333acbe277c0a7b509e726477e6740f7b0ef62e0cabbd04e10",
      "mediaType": "application/octet-stream",
      "size": 411420769
    },
    {
      "digest": "sha256:05278e9638f64337864c73926ed7e2e6a21356bf8983ffc9f66e9ef0e4f380e3",
      "mediaType": "application/octet-stream",
      "size": 124
    },
    {
      "digest": "sha256:3b3fb51940baefee12c885d3c7d5786ccf4ec0c4e898f47d0c7dd6568f54539f",
      "mediaType": "application/octet-stream",
      "size": 57384815
    },
    {
      "digest": "sha256:f2334492dfd499aaf7d610be521bf4c77323c7708f65c74c47e1f3a28c888ede",
      "mediaType": "application/octet-stream",
      "size": 159822543
    },
    {
      "digest": "sha256:d58c38a0ac0fd938b9e8b44a438df46b50f3a72507c595bff3ba5f81d9270750",
      "mediaType": "text/plain; charset=utf-8",
      "size": 4300
    }
  ],
  "labels": {
    "org.opencontainers.image.url": "https://github.com/GaloisInc/crucible",
    "org.opencontainers.image.licenses": "",
    "org.opencontainers.image.title": "crucible",
    "org.opencontainers.image.revision": "e40589e86a0604d2d117f53430923f9aa4fa732c",
    "org.opencontainers.image.created": "2024-02-05T21:28:36.312Z",
    "org.opencontainers.image.version": "release-crux-0.8",
    "org.opencontainers.image.description": "Crucible is a library for symbolic simulation of imperative programs",
    "org.opencontainers.image.ref.name": "ubuntu",
    "org.opencontainers.image.source": "https://github.com/GaloisInc/crucible"
  }
}