Skip to content

sha256:ee63e196b3e21c13a7fade60bbf498f8021223f7833b74e0bbb3104955eb0243

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

Loading

Manifest

{
  "digest": "sha256:ee63e196b3e21c13a7fade60bbf498f8021223f7833b74e0bbb3104955eb0243",
  "mediaType": "application/vnd.oci.image.manifest.v1+json",
  "size": 567,
  "config": {
    "digest": "sha256:8c9574e1edc4f87776f6df37bc0faef7bc8e66dcef2eeb17fe3efc0ea9b5db2d",
    "mediaType": "application/vnd.oci.image.config.v1+json",
    "size": 167
  },
  "layers": [
    {
      "digest": "sha256:fe26a49890a5e5508dea312a9b452c75b7b290aa4bf695a21599467b877f5d66",
      "mediaType": "application/vnd.in-toto+json",
      "size": 26240
    },
    {
      "digest": "sha256:8c9574e1edc4f87776f6df37bc0faef7bc8e66dcef2eeb17fe3efc0ea9b5db2d",
      "mediaType": "application/octet-stream",
      "size": 167
    }
  ]
}

Details

Download activity

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