{
  "digest": "sha256:1fbad5e009eefd2ac41ffb8655cc811164609a6ac5c4d43bece92b2a962553c8",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 2005,
  "config": {
    "digest": "sha256:81498fecf7602683028b35a765af40f1e2d045d3aacc08b535d6f0fb17775bb6",
    "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:9b857f539cb142c9aa2201a17bb8e1cd5cf12edd4a65adf5732fe9f4343964cf",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 30439866
    },
    {
      "digest": "sha256:2804d8ce6cc4cc0945858b392eec4624d7c90db45abb4958d66f09fe780579af",
      "mediaType": "application/octet-stream",
      "size": 471531732
    },
    {
      "digest": "sha256:567a0aacde5ff16adba563709130c00cbd7cf122460dcfe86c38f035878d0fa8",
      "mediaType": "application/octet-stream",
      "size": 57384187
    },
    {
      "digest": "sha256:a6c8819976d5d073c833b080ae264851867f64842cf97ab0d1c33a495a474e74",
      "mediaType": "application/octet-stream",
      "size": 39399810
    },
    {
      "digest": "sha256:e098bfe0e2d2e51b9f09a411279483fdf77063d85c18b3d50eb09e4b08e96f8a",
      "mediaType": "application/octet-stream",
      "size": 190791149
    },
    {
      "digest": "sha256:f1a7e3f14194c271d92914b758bce345d43ee0da791b6f0389099bcb7d69615b",
      "mediaType": "application/octet-stream",
      "size": 333099247
    },
    {
      "digest": "sha256:fe4eee8dcb03b63b6ca4556cfd5d0f73005b49661756285a5444027572b50698",
      "mediaType": "application/octet-stream",
      "size": 124
    },
    {
      "digest": "sha256:81498fecf7602683028b35a765af40f1e2d045d3aacc08b535d6f0fb17775bb6",
      "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": "19e9a5243e73f639baec061faf0a243b03401d69",
    "org.opencontainers.image.created": "2024-07-15T10:02:26.374Z",
    "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"
  }
}