{
  "digest": "sha256:a7c3635438a2897af27ef90abfaf7fcc89393a3eb8e9b664ad41dac66f58843f",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 1799,
  "config": {
    "digest": "sha256:645c2b50b532ea8ac70e43b3aa0352114fb1d8e8dc965f1d82b121c422ad11b7",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 4158
  },
  "layers": [
    {
      "digest": "sha256:7478e0ac0f23f94b2f27848fbcdf804a670fbf8d4bab26df842d40a10cd33059",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 30439933
    },
    {
      "digest": "sha256:425abf2d8e3e02d94d970f632d55fe9f150915e51f3f460ede6959a4d26c29e2",
      "mediaType": "application/octet-stream",
      "size": 57517406
    },
    {
      "digest": "sha256:510bfb83c8a7e0589f05e8cdca0517e0f61f521f5e1649ec9f952d0bf13adbc3",
      "mediaType": "application/octet-stream",
      "size": 1967
    },
    {
      "digest": "sha256:866c5c16dbaa6a78cd3de3bfd7e0d0b798a5a6faa7745a7b3a9ac1194f8b3a93",
      "mediaType": "application/octet-stream",
      "size": 358655190
    },
    {
      "digest": "sha256:930b3521871bcae590a02d1117850d1f7ed230e1bd33ee2acb3d1ef532b8dfff",
      "mediaType": "application/octet-stream",
      "size": 23979460
    },
    {
      "digest": "sha256:ab34169499108cb1ff4d475dccbd41aa07c8c78aef8cebd0e28d9ef7f027892b",
      "mediaType": "application/octet-stream",
      "size": 293276928
    },
    {
      "digest": "sha256:e8196a52bbf936535f479442303708f6873b934b3a2968e4fb927d2ef37cd90f",
      "mediaType": "application/octet-stream",
      "size": 88952981
    },
    {
      "digest": "sha256:645c2b50b532ea8ac70e43b3aa0352114fb1d8e8dc965f1d82b121c422ad11b7",
      "mediaType": "application/octet-stream",
      "size": 4158
    }
  ],
  "labels": {
    "org.opencontainers.image.url": "https://github.com/GaloisInc/crucible",
    "org.opencontainers.image.licenses": "",
    "org.opencontainers.image.title": "crucible",
    "org.opencontainers.image.revision": "d0c27a1f40107de453ffc811ab4c5f25dee3b637",
    "org.opencontainers.image.created": "2024-11-07T10:01:53.717Z",
    "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"
  }
}