{
  "digest": "sha256:a7207feacdea8f7afb63b73f847acf22f8184ef923348b71060806554c94d7c8",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 1784,
  "config": {
    "digest": "sha256:cc7be0bc5c1dc845bb78967539d83cc35740357a2d7fe182e09948c3bf30da79",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 4341
  },
  "layers": [
    {
      "digest": "sha256:4f4fb700ef54461cfa02571ae0db9a0dc1e0cdb5577484a6d75e68dc38e8acc1",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 32
    },
    {
      "digest": "sha256:31bd5f451a847d651a0996256753a9b22a6ea8c65fefb010e77ea9c839fe2fac",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 30447882
    },
    {
      "digest": "sha256:1c0521ee4d5194ae6d78280a3ceb8d747ede8af961b8169218af0475b19219bb",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 4320
    },
    {
      "digest": "sha256:6635352b933abe40be6839e1d791626cc2a31ec82bb4e58e537eb5dcac6af442",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 11476172
    },
    {
      "digest": "sha256:28f3ed2169a880b9bb1598a759b5f0f7541b1184b880735523e86491ecd914c0",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 1095
    },
    {
      "digest": "sha256:cc7be0bc5c1dc845bb78967539d83cc35740357a2d7fe182e09948c3bf30da79",
      "mediaType": "application/octet-stream",
      "size": 4341
    },
    {
      "digest": "sha256:c9c5109f9cbb05d4edc76c85198d4872da53a70728d8b56c7bbd3edefd3dbf90",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 2253
    },
    {
      "digest": "sha256:29d30039194b4df8de2c7e48453164dd4f66aac187486e8e4d5f7bc55cd89b1d",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 108476926
    }
  ],
  "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": "65397a491bddc3b4e8f41053106ce8859387d662",
    "org.opencontainers.image.created": "2024-02-05T19:59:13.831Z",
    "org.opencontainers.image.version": "release-3.1.0",
    "org.opencontainers.image.description": "Cryptol: The Language of Cryptography",
    "org.opencontainers.image.ref.name": "ubuntu",
    "org.opencontainers.image.licenses": "BSD-3-Clause"
  }
}