{
  "digest": "sha256:7e1cabc34f81409a23ee135534c3846e6db9bc48e6e0833d9091281d8c81371f",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 2832,
  "config": {
    "digest": "sha256:799d2c9a4297718cd907b3179b0dea6ce7073e28c8b0bde30e4453551e84b98f",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 7977
  },
  "layers": [
    {
      "digest": "sha256:4a023cab5400feb5c1ab725beb8345ddb0e3200314004b56677a5eee2e8c86cf",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 30439649
    },
    {
      "digest": "sha256:5e5d1bccc5440d3a24f4a620704b9e687b4163c6c872fcc8e812e200c9bbac58",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 17456240
    },
    {
      "digest": "sha256:c97285723537ab7921fca4d081c256e501adfdaa8992d04637992075f4cea392",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 173
    },
    {
      "digest": "sha256:a3ba11f7aaaedad962216812fe84aee9061aeabac6932f0274a1d204eb96e8e8",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 734
    },
    {
      "digest": "sha256:d59fd278c1b4ffe1727be6ccba42125e8f4db57e660e795cce19889d2c776457",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 145100254
    },
    {
      "digest": "sha256:214296b8f52bf272cef532e436d1430482697ec9fa53bb044a99750a056fdc47",
      "mediaType": "application/x-gzip",
      "size": 3163
    },
    {
      "digest": "sha256:7b99bde4ea29d8af3cb72b853a3808c6b6396b7dc3d237f1a3a55e7aa5ffb3d8",
      "mediaType": "application/x-gzip",
      "size": 1019
    },
    {
      "digest": "sha256:4fd9c37f97adbeb30271f22a9a1bf12ecce1b29d03f948149e811e24042d6461",
      "mediaType": "application/x-gzip",
      "size": 116
    },
    {
      "digest": "sha256:835795787b80aa1bf399f3f8b7c395ec242d61dd5af39baa49bba054e68a8fb6",
      "mediaType": "application/x-gzip",
      "size": 976387
    },
    {
      "digest": "sha256:3fcdc1620804966cf111cb8184e997a7fa3d053b76a648ad53558d19d7fd4f50",
      "mediaType": "application/x-gzip",
      "size": 118
    },
    {
      "digest": "sha256:dbde40e10fb95bb07b05f1798fae13cf4759a4b278024605b1e037d6a77cdae5",
      "mediaType": "application/x-gzip",
      "size": 35493983
    },
    {
      "digest": "sha256:174f37d5e8e93653bd41861c652fccae4f7908bedcb3791f7284ec04d7d9aa49",
      "mediaType": "application/x-gzip",
      "size": 99776450
    },
    {
      "digest": "sha256:799d2c9a4297718cd907b3179b0dea6ce7073e28c8b0bde30e4453551e84b98f",
      "mediaType": "text/plain; charset=utf-8",
      "size": 7977
    }
  ],
  "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": "5dee24e4d05dc3476977a2e49f4963e3802fae2f",
    "org.opencontainers.image.created": "2024-05-06T12:37:41.696Z",
    "org.opencontainers.image.version": "v0.44.11",
    "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"
  }
}