{
  "digest": "sha256:43373da9d16cc6d7c667efceed18614ffb06b3a5825b6b0c780e7e6ca75b24d1",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 2005,
  "config": {
    "digest": "sha256:90890a6d16c7b9226bbf73cefdc7ccf8d91f1e8b6816fe82c8942d3a3fe96de9",
    "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:90890a6d16c7b9226bbf73cefdc7ccf8d91f1e8b6816fe82c8942d3a3fe96de9",
      "mediaType": "application/octet-stream",
      "size": 4278
    }
  ],
  "labels": {
    "org.opencontainers.image.url": "https://github.com/GaloisInc/crucible",
    "org.opencontainers.image.licenses": "",
    "org.opencontainers.image.title": "crucible",
    "org.opencontainers.image.revision": "f9760bdb9921523848efc9889fbd72bd6dea506e",
    "org.opencontainers.image.created": "2024-06-19T10:02:02.904Z",
    "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.source": "https://github.com/GaloisInc/crucible"
  }
}