{
  "digest": "sha256:78ef65f92f0776ece3171f838f5d1394ccf9130b7e3c7dd18f571caf7b8f0b0e",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 2832,
  "config": {
    "digest": "sha256:f2799add9c15b2f5d7778082b33acc46fc97e89a5c11483c617faea6a1d99359",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 7843
  },
  "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:076137ccf68bdf18c43908a348255b058fc3c3fc8d077b6e55b41002d443870b",
      "mediaType": "application/x-gzip",
      "size": 3163
    },
    {
      "digest": "sha256:c822acd0272cbe9b668c90c344654b6822999f134deed5ccb55dcf8d2ebafae3",
      "mediaType": "application/x-gzip",
      "size": 1020
    },
    {
      "digest": "sha256:d4895d9ba5b0ebedfc6da8a37c950e2dab2c7ff6292626227cdf229c214dcb07",
      "mediaType": "application/x-gzip",
      "size": 118
    },
    {
      "digest": "sha256:3bc0b5ca7014d745806281245eb0b03853d32da1d27efd3725219d28ab660ae5",
      "mediaType": "application/x-gzip",
      "size": 976023
    },
    {
      "digest": "sha256:1e0b7b2b2a4cf7965f15947f95617b4c572753b7c84213c78aa27de418045bb8",
      "mediaType": "application/x-gzip",
      "size": 115
    },
    {
      "digest": "sha256:ef18449f9cce63a22dc435756b9338c7ba8a4615a5b3a992f79f5956ab567c42",
      "mediaType": "application/x-gzip",
      "size": 34642743
    },
    {
      "digest": "sha256:2ca0964944a67243ba9cb88843ab70880d2904762f8fb3c52820c33423d39ea2",
      "mediaType": "application/x-gzip",
      "size": 99774338
    },
    {
      "digest": "sha256:f2799add9c15b2f5d7778082b33acc46fc97e89a5c11483c617faea6a1d99359",
      "mediaType": "text/plain; charset=utf-8",
      "size": 7843
    }
  ],
  "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": "2509f9b75697fd990ac2fcee2381de9b56a3d9d3",
    "org.opencontainers.image.created": "2024-03-20T11:50:43.081Z",
    "org.opencontainers.image.version": "v0.44.8",
    "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"
  }
}