sha256:f00f6e747d8b32cac876f73e7f78596196b0a0f2606fe59cd542072225db9489
Install from the command line
Learn more about packages
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:f00f6e747d8b32cac876f73e7f78596196b0a0f2606fe59cd542072225db9489
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/debian@sha256:f00f6e747d8b32cac876f73e7f78596196b0a0f2606fe59cd542072225db9489
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:f00f6e747d8b32cac876f73e7f78596196b0a0f2606fe59cd542072225db9489",
"mediaType": "application/vnd.oci.image.manifest.v1+json",
"size": 1058,
"config": {
"digest": "sha256:63d59bdf74f405714c025f58c029cc201a456fc90e5d07d399687d42d398e22f",
"mediaType": "application/vnd.oci.image.config.v1+json",
"size": 1589
},
"layers": [
{
"digest": "sha256:014ac6453c34f79cc163f6567c184e5eb0b48cdc07ecbfb1388d90e95ac90b02",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 55081391
},
{
"digest": "sha256:fe68f23bf32178c7479c302ee2ad6ed3fbb8f5f98aa2044f00304fe1dc78e673",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 2355161
},
{
"digest": "sha256:63d59bdf74f405714c025f58c029cc201a456fc90e5d07d399687d42d398e22f",
"mediaType": "application/octet-stream",
"size": 1589
},
{
"digest": "sha256:6f605e00b00e2548a643d7ae8a21c77688a81c45003f926c476f836cb282f79d",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 154692
},
{
"digest": "sha256:53939e0b8b78161fcccb19b2232caeed51465953db4937eed12c9e4a30236fad",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 46321927
}
]
}
Details
- idris-2-docker/debian
-
joshuanianji
- joshuanianji/idris-2-docker
- 5 months ago
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0