{
  "digest": "sha256:6220cd24f8a2433aa1f45ae232a96729dcba2b60c0ced1bad8ecf97ee36951ae",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 2006,
  "config": {
    "digest": "sha256:36c33984d301ccf20c5104243db9ab77d77b2cdf87746a145dcf5a58e01964a4",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 4422
  },
  "layers": [
    {
      "digest": "sha256:4f4fb700ef54461cfa02571ae0db9a0dc1e0cdb5577484a6d75e68dc38e8acc1",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 32
    },
    {
      "digest": "sha256:7478e0ac0f23f94b2f27848fbcdf804a670fbf8d4bab26df842d40a10cd33059",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 30439933
    },
    {
      "digest": "sha256:987273b2954ee48e61db5b11ab5687327d5c8af33b2399730a1f987dac99bdd5",
      "mediaType": "application/octet-stream",
      "size": 471534211
    },
    {
      "digest": "sha256:a18641a9662a5f6f18573fb53771c272f4eccdcf265a2492fd658db712fded76",
      "mediaType": "application/octet-stream",
      "size": 351516842
    },
    {
      "digest": "sha256:eb9a0e1f0251bc6ab71dcfc8f9fa6cc0254028d3f50f4671a3bbcda8e9d5ec56",
      "mediaType": "application/octet-stream",
      "size": 293251270
    },
    {
      "digest": "sha256:3df75b102a53eb9f84a7bee40403e6c3833c7dac0b9a9677999f95de8240be14",
      "mediaType": "application/octet-stream",
      "size": 191837710
    },
    {
      "digest": "sha256:5f795dd3d93c9af2857c053427b5c7e6a67b8dda65a2ffffcf40b1e55a551620",
      "mediaType": "application/octet-stream",
      "size": 122
    },
    {
      "digest": "sha256:9dfcb299e4c5e690977e1d9143be21fe62dcf263726099d38d39d7c25a6a8887",
      "mediaType": "application/octet-stream",
      "size": 57533418
    },
    {
      "digest": "sha256:36c33984d301ccf20c5104243db9ab77d77b2cdf87746a145dcf5a58e01964a4",
      "mediaType": "application/octet-stream",
      "size": 4422
    }
  ],
  "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": "2fb1c26a3cd4562d90a51956925363a0b40f50ed",
    "org.opencontainers.image.created": "2024-10-22T10:01:58.208Z",
    "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": ""
  }
}