Skip to content

sha256:a71f14ef9021d66a65a9f69b27203afb2ce4908b4b748d221ff19d6fc7e2cb30

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

Loading

Manifest

{
  "digest": "sha256:a71f14ef9021d66a65a9f69b27203afb2ce4908b4b748d221ff19d6fc7e2cb30",
  "mediaType": "application/vnd.oci.image.manifest.v1+json",
  "size": 1058,
  "config": {
    "digest": "sha256:2b80f6f6f752687549c9403fb35a7fc02889548e3ad27e5111721b6728ea48e5",
    "mediaType": "application/vnd.oci.image.config.v1+json",
    "size": 1589
  },
  "layers": [
    {
      "digest": "sha256:5d8903d6126c38fefcb1196b9998da0798f56cbdf18a91c00d822144c232af6b",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 53729921
    },
    {
      "digest": "sha256:640132e5d244458a120e347bc2519eb4f46116b79e273600cf8738bb882b0e5b",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 3752105
    },
    {
      "digest": "sha256:2b80f6f6f752687549c9403fb35a7fc02889548e3ad27e5111721b6728ea48e5",
      "mediaType": "application/octet-stream",
      "size": 1589
    },
    {
      "digest": "sha256:0ebe8792b9e1fc77ebd8b7bb9c6cd9a5d605f46aa1af87081c48d9fed14e8e6e",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 463570
    },
    {
      "digest": "sha256:ba2d1a8ad0d8d421512a57bd008be219e373bda68d1eae38d9b574e8ca0f3cfa",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 49338971
    }
  ]
}

Details

Download activity

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