Skip to content

sha256:b1f378eb5d9746f89891dafaab46ef248a02930a17ed3522ad6007cbbff55755

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

Loading

Manifest

{
  "digest": "sha256:b1f378eb5d9746f89891dafaab46ef248a02930a17ed3522ad6007cbbff55755",
  "mediaType": "application/vnd.oci.image.manifest.v1+json",
  "size": 1058,
  "config": {
    "digest": "sha256:7bf8cae833867e55eafe3d40f5bdcd354d0c1376d9b8aa9e9e7ef36705688f9d",
    "mediaType": "application/vnd.oci.image.config.v1+json",
    "size": 2214
  },
  "layers": [
    {
      "digest": "sha256:6a1df50fc4815789598fa24d3ecacb70451e506447ab9e45665024b9f3f0233b",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 25974217
    },
    {
      "digest": "sha256:643563746ce0950cbf92aef2614f32ff50c017348676430c4406112a64ccea90",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 463571
    },
    {
      "digest": "sha256:1e56f98e250af8e16433464f85e3a0a0ea5ddd2e751373ddfd76583520e255bd",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 3752128
    },
    {
      "digest": "sha256:cfac6b3961e4e482609dd55cf761cbbbff42219f4c6a7e9ab52d389674192e96",
      "mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
      "size": 29141277
    },
    {
      "digest": "sha256:7bf8cae833867e55eafe3d40f5bdcd354d0c1376d9b8aa9e9e7ef36705688f9d",
      "mediaType": "application/octet-stream",
      "size": 2214
    }
  ]
}

Details

Download activity

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