{
  "digest": "sha256:ade4ac1ef68c576a5449333a833d69ab30eafc7cb9399d2f32afe036b382048a",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 2832,
  "config": {
    "digest": "sha256:5324e8245713f04efe7ca42b8baddf7de99a74b7004f96c24201e2582b6763e5",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 7844
  },
  "layers": [
    {
      "digest": "sha256:23828d760c7b04df02891af556c40ca44c2dd79d6837ea6f18fac24f4108448c",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 30451302
    },
    {
      "digest": "sha256:e2670537dcebc0b445ca47e68b31667f3572b8758b8388e24d8a6770e860ecc8",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 17456336
    },
    {
      "digest": "sha256:98b5cc73f2038c54e729fa4d5e0464342ed389c4db9f5691b8931453a933f567",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 174
    },
    {
      "digest": "sha256:ac703fde9456af2c1832ea3dbb9792919bec1246b517ae3d5504b83e33ed4f0c",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 731
    },
    {
      "digest": "sha256:0bacd8e9b7b45d4793f200081fd1522eb625ea6ddd5b431ab23afe1adf51b2ea",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 144899990
    },
    {
      "digest": "sha256:a692a5fa644ab73cf6781e0c1447f3a2b09bef719c2067b87632e816cb9d0c16",
      "mediaType": "application/x-gzip",
      "size": 1017
    },
    {
      "digest": "sha256:08e3cd36a489cd40d41473a3fe6dd9b5b0db3f25186296988a4f4cd9db085614",
      "mediaType": "application/x-gzip",
      "size": 976004
    },
    {
      "digest": "sha256:e4d9653803f4be948d44430628d57b80d8e5003d9dedde7de4cd3dbb121dbe35",
      "mediaType": "application/x-gzip",
      "size": 3163
    },
    {
      "digest": "sha256:43288b7da0cb4b036a37ab73c8a43fc173954133a541df2935bc046521b77ab0",
      "mediaType": "application/x-gzip",
      "size": 117
    },
    {
      "digest": "sha256:5ae4ce674d7c7512147ccfc133324649e1064d80f47dd207f03231d4b23197c1",
      "mediaType": "application/x-gzip",
      "size": 117
    },
    {
      "digest": "sha256:b66f99796c19e313ee49ee921faefe843d28055f8f32da1f22e8d96f4c638c4e",
      "mediaType": "application/x-gzip",
      "size": 34657069
    },
    {
      "digest": "sha256:0854cb3ed8b123a3a0bc20052fe1a8fc802a9e825c1630f097d97a42f40b6eb7",
      "mediaType": "application/x-gzip",
      "size": 99776027
    },
    {
      "digest": "sha256:5324e8245713f04efe7ca42b8baddf7de99a74b7004f96c24201e2582b6763e5",
      "mediaType": "text/plain; charset=utf-8",
      "size": 7844
    }
  ],
  "labels": {
    "org.opencontainers.image.url": "https://github.com/informalsystems/apalache",
    "org.opencontainers.image.licenses": "Apache-2.0",
    "org.opencontainers.image.title": "apalache",
    "org.opencontainers.image.revision": "df60e0edac993c4bcdaf825c32a891ae3b9b224c",
    "org.opencontainers.image.created": "2024-03-25T18:09:06.834Z",
    "org.opencontainers.image.version": "v0.44.10",
    "org.opencontainers.image.description": "APALACHE: symbolic model checker for TLA+ and Quint",
    "org.opencontainers.image.ref.name": "ubuntu",
    "org.opencontainers.image.source": "https://github.com/informalsystems/apalache"
  }
}