Skip to content

sha256:8cd88c2a2f3d42b5a3dfc72d890de0da8e099839829ed1751f1bd207dad4a99f

Install from the command line
Learn more about packages
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:8cd88c2a2f3d42b5a3dfc72d890de0da8e099839829ed1751f1bd207dad4a99f
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:8cd88c2a2f3d42b5a3dfc72d890de0da8e099839829ed1751f1bd207dad4a99f

Loading

Manifest

{
  "digest": "sha256:8cd88c2a2f3d42b5a3dfc72d890de0da8e099839829ed1751f1bd207dad4a99f",
  "mediaType": "application/vnd.oci.image.manifest.v1+json",
  "size": 567,
  "config": {
    "digest": "sha256:0dbd298633c16cf0fcfd64ea342662b0b86c8cdf01a7d1ed01520ab34af894e9",
    "mediaType": "application/vnd.oci.image.config.v1+json",
    "size": 167
  },
  "layers": [
    {
      "digest": "sha256:0dbd298633c16cf0fcfd64ea342662b0b86c8cdf01a7d1ed01520ab34af894e9",
      "mediaType": "application/octet-stream",
      "size": 167
    },
    {
      "digest": "sha256:a6670ad0b9658727fe66c0ddde2303f393127146a9d9c4563eca213fe8766f01",
      "mediaType": "application/vnd.in-toto+json",
      "size": 26204
    }
  ]
}

Details

Download activity

  • Total downloads 3
  • Last 30 days 0
  • Last week 0
  • Today 0