sha256:8b7ce6b5161a17050e999144aca4437a49746079ac05804f8c78af094fa37eff
Install from the command line
Learn more about packages
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:8b7ce6b5161a17050e999144aca4437a49746079ac05804f8c78af094fa37eff
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/debian@sha256:8b7ce6b5161a17050e999144aca4437a49746079ac05804f8c78af094fa37eff
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:8b7ce6b5161a17050e999144aca4437a49746079ac05804f8c78af094fa37eff",
"mediaType": "application/vnd.oci.image.manifest.v1+json",
"size": 1058,
"config": {
"digest": "sha256:ddb7874b07166e67dfc47c292666248d4dcfa648bb8684aeb2fb3f8a4e1e2d8b",
"mediaType": "application/vnd.oci.image.config.v1+json",
"size": 1589
},
"layers": [
{
"digest": "sha256:203e9cf21bd27322e5baf32653bf3314ccf688be497585240d18b9f0ca24f2ee",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 55084675
},
{
"digest": "sha256:6189799a4aaec228d01120d0fb760ea712332c54de8830bbe419ee907ca3f3d1",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 2355158
},
{
"digest": "sha256:7f9e32fd1d63841007279d273ed0419f6e8d28503537c24a2cd97b3845081a12",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 46484469
},
{
"digest": "sha256:ddb7874b07166e67dfc47c292666248d4dcfa648bb8684aeb2fb3f8a4e1e2d8b",
"mediaType": "application/octet-stream",
"size": 1589
},
{
"digest": "sha256:ad4994e8bdf0f4526e17b895c361c993a43e4c6e9f9d5cab0620b2a767e60731",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 154692
}
]
}
Details
- idris-2-docker/debian
-
joshuanianji
- joshuanianji/idris-2-docker
- about 1 year ago
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0