{
  "digest": "sha256:bf13c2fe15c21bceb894403960606694f3b84de58f342af28db10f3d0c55ec74",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 1784,
  "config": {
    "digest": "sha256:d8ab3114552f03ad3ed3792c8248c9998ea4056dff9991c5ced6d347517459fe",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 4823
  },
  "layers": [
    {
      "digest": "sha256:4f4fb700ef54461cfa02571ae0db9a0dc1e0cdb5577484a6d75e68dc38e8acc1",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 32
    },
    {
      "digest": "sha256:3f94e4e483ea634d7ab0b63649b8f72f8b721d4c626297fd0edae0abea1df9e9",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 30431039
    },
    {
      "digest": "sha256:d3d8a3b97f60586804470dbe0fa433cbbd92f3bda453a53719218dd70da2b713",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 11465624
    },
    {
      "digest": "sha256:753607ad16e3e50264ff80bc40209dccc972ec0b7caf2e67a1e63f1d990d75ea",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 4316
    },
    {
      "digest": "sha256:d8ab3114552f03ad3ed3792c8248c9998ea4056dff9991c5ced6d347517459fe",
      "mediaType": "application/octet-stream",
      "size": 4823
    },
    {
      "digest": "sha256:2312b3a37979dbdae6b3c2a637b6e8cf6f6c345d3d26adade4b7320787c9bcdd",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 2256
    },
    {
      "digest": "sha256:5c0bd7da4c1ce3d1de64573548486b9386eade586dee66d7f0ad15ce3a2a302a",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 1090
    },
    {
      "digest": "sha256:3b291e2178c17ec35ec1bd87d25b338da5aa2fc784a18a150bd33a06bb205e07",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 107362804
    }
  ],
  "labels": {
    "org.opencontainers.image.url": "https://github.com/GaloisInc/cryptol",
    "org.opencontainers.image.licenses": "BSD-3-Clause",
    "org.opencontainers.image.title": "cryptol",
    "org.opencontainers.image.revision": "7aede559ad102b0ccdaf4b377d3fa17cc564286e",
    "org.opencontainers.image.created": "2023-06-26T19:23:37.441Z",
    "org.opencontainers.image.version": "release-3.0.0",
    "org.opencontainers.image.description": "Cryptol: The Language of Cryptography",
    "org.opencontainers.image.ref.name": "ubuntu",
    "org.opencontainers.image.source": "https://github.com/GaloisInc/cryptol"
  }
}