{
  "digest": "sha256:afa115d0634e51836383e22dd37b8c2af900f589a881fa338c06795fe84a05ba",
  "mediaType": "application/vnd.docker.distribution.manifest.v2+json",
  "size": 2832,
  "config": {
    "digest": "sha256:c352f21da6ad3daa6808cada9139a72b2dd2d9287a268dda69959de942e9bcda",
    "mediaType": "application/vnd.docker.container.image.v1+json",
    "size": 7982
  },
  "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:652e68a902ce7ec0163fab5f589a81aff6902afae6185c29f8b2e05d90f5a8a7",
      "mediaType": "application/x-gzip",
      "size": 1018
    },
    {
      "digest": "sha256:76b01b8914d35db740842a05c2e8965ba1a5df39dca11031c7337b4b0d5e110b",
      "mediaType": "application/x-gzip",
      "size": 118
    },
    {
      "digest": "sha256:01b186f8cea61b8b1f3403c9fc66023d9d9227f00cef8be9b6880b7c92b48b56",
      "mediaType": "application/x-gzip",
      "size": 3161
    },
    {
      "digest": "sha256:2a4faa5a52fa2b09af74958cf74963d4a3ef56fcf557e3e75f15860c765ff9a1",
      "mediaType": "application/x-gzip",
      "size": 976367
    },
    {
      "digest": "sha256:fea232367ae6d5b3fa16f440b875491afaa7a8dc565d53063d8840c911365e53",
      "mediaType": "application/x-gzip",
      "size": 117
    },
    {
      "digest": "sha256:05b5386092ec01ac74514872f3e665de75e94f047f422f8097fe4af6fcf9e177",
      "mediaType": "application/x-gzip",
      "size": 35493941
    },
    {
      "digest": "sha256:5ce3bd0f4f0f3f8ecc3b20941f6f61715c2d68d07ad4d56e10989138ce61e7c4",
      "mediaType": "application/x-gzip",
      "size": 99776492
    },
    {
      "digest": "sha256:c352f21da6ad3daa6808cada9139a72b2dd2d9287a268dda69959de942e9bcda",
      "mediaType": "text/plain; charset=utf-8",
      "size": 7982
    }
  ],
  "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": "6d69a24e7dcaa5b688959dcc4c50d0fb49fbdfd7",
    "org.opencontainers.image.created": "2024-05-06T13:16:21.784Z",
    "org.opencontainers.image.version": "main",
    "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"
  }
}