{
  "digest": "sha256:bfc33e3cd94a6d781f99ed6003138423bc590ce6f697a3e837f9423e07dd0bf7",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 2005,
  "config": {
    "digest": "sha256:9763452b8d7d7c9803394cd638c231cfd3c249ac3c83d06ca27710551430019d",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 4278
  },
  "layers": [
    {
      "digest": "sha256:4f4fb700ef54461cfa02571ae0db9a0dc1e0cdb5577484a6d75e68dc38e8acc1",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 32
    },
    {
      "digest": "sha256:2ec76a50fe7c8d5db9ec25590b9217e14e3920513c6e7b5be55db72a16b55f7c",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 30439283
    },
    {
      "digest": "sha256:4c9e1174856e04748adb5604b8170a9cfe77a535e86a4e687059893028804c06",
      "mediaType": "application/octet-stream",
      "size": 190791774
    },
    {
      "digest": "sha256:7593c5788b7094d144e0b13d825711bb68b6331288c501a6162fb48f9cb6b86c",
      "mediaType": "application/octet-stream",
      "size": 260573085
    },
    {
      "digest": "sha256:8ab87ece5f483b04021a1463d067364b5e3d0dbec6a5e6e038e79e7be2796702",
      "mediaType": "application/octet-stream",
      "size": 471533189
    },
    {
      "digest": "sha256:8efb80d2c84aa9f831bdf2f29ee0ccbe6dad212e8b4a0c54cfcba2262ece1d56",
      "mediaType": "application/octet-stream",
      "size": 38851539
    },
    {
      "digest": "sha256:bfef47d4839c62c443138bb0e4869a23fe5bbac890f1ea6b03c018ce869a3799",
      "mediaType": "application/octet-stream",
      "size": 57380358
    },
    {
      "digest": "sha256:f9f94077fe6f6338e047f5d955763d02eb28dcf76ed5d110cc29374ed698002e",
      "mediaType": "application/octet-stream",
      "size": 124
    },
    {
      "digest": "sha256:9763452b8d7d7c9803394cd638c231cfd3c249ac3c83d06ca27710551430019d",
      "mediaType": "application/octet-stream",
      "size": 4278
    }
  ],
  "labels": {
    "org.opencontainers.image.url": "https://github.com/GaloisInc/crucible",
    "org.opencontainers.image.source": "https://github.com/GaloisInc/crucible",
    "org.opencontainers.image.title": "crucible",
    "org.opencontainers.image.revision": "f9760bdb9921523848efc9889fbd72bd6dea506e",
    "org.opencontainers.image.created": "2024-06-18T10:02:16.585Z",
    "org.opencontainers.image.version": "nightly",
    "org.opencontainers.image.description": "Crucible is a library for symbolic simulation of imperative programs",
    "org.opencontainers.image.ref.name": "ubuntu",
    "org.opencontainers.image.licenses": ""
  }
}