{
  "digest": "sha256:d0df64dccef712bd879b566db852b3721520d2c048a54cca69e776e7d52c1eb5",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 2005,
  "config": {
    "digest": "sha256:6003c6cd7dc0f8ef8b58c329471b57c07258e89eb7b2b7da63c87f0d53b7fcfc",
    "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:7478e0ac0f23f94b2f27848fbcdf804a670fbf8d4bab26df842d40a10cd33059",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 30439933
    },
    {
      "digest": "sha256:21b905390fe01c0f82a1a27934198e0a45d616bdf8c084d192799045dc297f08",
      "mediaType": "application/octet-stream",
      "size": 57537249
    },
    {
      "digest": "sha256:26945df6c4bb688691de806df1b9d456f72782adc288e797c91e224be8bc6334",
      "mediaType": "application/octet-stream",
      "size": 41208580
    },
    {
      "digest": "sha256:51fefb1a661819e3f67f950fc188e7f860c04464b56b8aa446c672f2e3846249",
      "mediaType": "application/octet-stream",
      "size": 191851146
    },
    {
      "digest": "sha256:5b2c70755aa9cf355a03397ee1c0db5ebe933dd2b7bb80232e7b496142a88e61",
      "mediaType": "application/octet-stream",
      "size": 121
    },
    {
      "digest": "sha256:9cdc9262201fc6737b933384b01ff0f62539e7d1f61ec01f946b0164de3932ec",
      "mediaType": "application/octet-stream",
      "size": 234738946
    },
    {
      "digest": "sha256:f650374334cbe2dea723f94d4e02fcc57f8d7ba85dbbfce04eb44594e54f3611",
      "mediaType": "application/octet-stream",
      "size": 471534965
    },
    {
      "digest": "sha256:6003c6cd7dc0f8ef8b58c329471b57c07258e89eb7b2b7da63c87f0d53b7fcfc",
      "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": "e8e0c53ed62f6a87e1a03468f7c31ebb7e67574d",
    "org.opencontainers.image.created": "2024-09-19T10:02:05.021Z",
    "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"
  }
}