{
  "digest": "sha256:b07739946a01b4fbb19195bf8b8eaae3f285de56c9c7d784d579595cb924431a",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 1784,
  "config": {
    "digest": "sha256:de9ea4ad9ed2fc9e985bf95ea02a77926c7491aac2ce54cc05346b5225d269aa",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 4319
  },
  "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:246c80792bd916ca373b490ab47656fcf015353bd52e8548f4f093ca144405b6",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 4318
    },
    {
      "digest": "sha256:f68a2b505384741ef16af74898c49991a05c74e2a736210ba8379fe8c1c69d7d",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 11467193
    },
    {
      "digest": "sha256:d972d079780a1cc6aad4a8431065efa2a78b130093cdb41112cc4a3ebbf7a6ea",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 1091
    },
    {
      "digest": "sha256:de9ea4ad9ed2fc9e985bf95ea02a77926c7491aac2ce54cc05346b5225d269aa",
      "mediaType": "application/octet-stream",
      "size": 4319
    },
    {
      "digest": "sha256:b38de8148502d6443f2ba12236ae96d217723a1ece214ead91559db54203e5a8",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 2250
    },
    {
      "digest": "sha256:6757b003fef58fe1769e7962652494154e20fa70d88be11d4a18fcf0ef99ed2e",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 116418271
    }
  ],
  "labels": {
    "org.opencontainers.image.url": "https://github.com/GaloisInc/cryptol",
    "org.opencontainers.image.source": "https://github.com/GaloisInc/cryptol",
    "org.opencontainers.image.title": "cryptol",
    "org.opencontainers.image.revision": "b1bdfd0e3ff0ff8d16e94fd6e6402a3d1fb497f2",
    "org.opencontainers.image.created": "2024-09-18T10:02:15.556Z",
    "org.opencontainers.image.version": "nightly",
    "org.opencontainers.image.description": "Cryptol: The Language of Cryptography",
    "org.opencontainers.image.ref.name": "ubuntu",
    "org.opencontainers.image.licenses": "BSD-3-Clause"
  }
}