{
  "digest": "sha256:71ded59e0d773cc7b8a277ef8ac39146c48c550d6754cdddf16b35035de71c8e",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 2832,
  "config": {
    "digest": "sha256:4c94463869e51f587b83df549d6b20f3b40278ae78216abc7355884dc9430ba2",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 7842
  },
  "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:4772ee5378cb935459853e3509e5475a503499de2550a8c72acb3af946a3959d",
      "mediaType": "application/x-gzip",
      "size": 1019
    },
    {
      "digest": "sha256:b1bac9fa735dbdab84444e8b97ac47b98503373c58a30c7c9ffc93e8679b12f5",
      "mediaType": "application/x-gzip",
      "size": 3163
    },
    {
      "digest": "sha256:bede22d62321509a90567b842019170e46dcccbb19a8f841983fd91b6a8fcb6b",
      "mediaType": "application/x-gzip",
      "size": 118
    },
    {
      "digest": "sha256:46cba340681b3b83e7b2044338b2c8b7cfb08d99da09242a0c1d1f59fc176537",
      "mediaType": "application/x-gzip",
      "size": 975971
    },
    {
      "digest": "sha256:6b092ecf21b57e8912297a21d284eb267a187956332f380fa3a54d96a24e32e5",
      "mediaType": "application/x-gzip",
      "size": 118
    },
    {
      "digest": "sha256:daac124c009aed431baeb7fffc25898ff81bdff673b5edf7b0cfc6f6ad6bfeed",
      "mediaType": "application/x-gzip",
      "size": 34643256
    },
    {
      "digest": "sha256:1a55f21e66052de677ab7ccdcc20fa5c3780b81eed46c7aeee2042bdcd493b17",
      "mediaType": "application/x-gzip",
      "size": 99775160
    },
    {
      "digest": "sha256:4c94463869e51f587b83df549d6b20f3b40278ae78216abc7355884dc9430ba2",
      "mediaType": "text/plain; charset=utf-8",
      "size": 7842
    }
  ],
  "labels": {
    "org.opencontainers.image.url": "https://github.com/informalsystems/apalache",
    "org.opencontainers.image.source": "https://github.com/informalsystems/apalache",
    "org.opencontainers.image.title": "apalache",
    "org.opencontainers.image.revision": "fb882771a742cd4d920c2d62af4bc8554087958a",
    "org.opencontainers.image.created": "2024-03-22T11:27:57.561Z",
    "org.opencontainers.image.version": "v0.44.9",
    "org.opencontainers.image.description": "APALACHE: symbolic model checker for TLA+ and Quint",
    "org.opencontainers.image.ref.name": "ubuntu",
    "org.opencontainers.image.licenses": "Apache-2.0"
  }
}