Skip to content

sha256:683eeeb48dd4f55740389201da8ad19e0c2e653feec8abcb46243529c3380f69

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

Loading

Manifest

{
  "digest": "sha256:683eeeb48dd4f55740389201da8ad19e0c2e653feec8abcb46243529c3380f69",
  "mediaType": "application/vnd.oci.image.manifest.v1+json",
  "size": 1058,
  "config": {
    "digest": "sha256:1e5090e4409908f61df0a8264b491f97dff3ef008eea747a35f57d43e9ac1b96",
    "mediaType": "application/vnd.oci.image.config.v1+json",
    "size": 2214
  },
  "layers": [
    {
      "digest": "sha256:602d8ad51b8130f3fcd71cb936dea612ebc799666136abf2e5914585b3178a4a",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 27511769
    },
    {
      "digest": "sha256:1e5090e4409908f61df0a8264b491f97dff3ef008eea747a35f57d43e9ac1b96",
      "mediaType": "application/octet-stream",
      "size": 2214
    },
    {
      "digest": "sha256:926c8472157bdd0be51b42cbc00fcbb3aebaf5d610b83a63b79ab845af62e15a",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 2355163
    },
    {
      "digest": "sha256:7cbf42b8501a89c05a64006e6b9fdbee3bea9c7f9845a474cb9c73001be39220",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 154696
    },
    {
      "digest": "sha256:e8c69dc4fb68ff86775e738541b686b86b6747482c73308a656ab46fb6e4f3ea",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 36728621
    }
  ]
}

Details

Download activity

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