sha256:4962a29eb6a64b58ae3be2cd0b9c2faca86161c88ae847b495afbcac5378530f
Install from the command line
Learn more about packages
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:4962a29eb6a64b58ae3be2cd0b9c2faca86161c88ae847b495afbcac5378530f
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/debian@sha256:4962a29eb6a64b58ae3be2cd0b9c2faca86161c88ae847b495afbcac5378530f
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:4962a29eb6a64b58ae3be2cd0b9c2faca86161c88ae847b495afbcac5378530f",
"mediaType": "application/vnd.oci.image.manifest.v1+json",
"size": 1058,
"config": {
"digest": "sha256:c71f63377a8580cae0b693b73a8d1515a0252acc04ee1922de51e4224593ee07",
"mediaType": "application/vnd.oci.image.config.v1+json",
"size": 1587
},
"layers": [
{
"digest": "sha256:374a548aba539daa8d37f8b0fe7326b582daa60fe22cc343a838af2e82a4ca1c",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 53733864
},
{
"digest": "sha256:440dd31869846b0a46285e84e4addba06774405e48c9997bd40e3f138ff32745",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 3752110
},
{
"digest": "sha256:c71f63377a8580cae0b693b73a8d1515a0252acc04ee1922de51e4224593ee07",
"mediaType": "application/octet-stream",
"size": 1587
},
{
"digest": "sha256:11979d5d029a7ad291a63bd9de85d52f2402fa9a6c0baa58a8a2ec28ae621924",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 463568
},
{
"digest": "sha256:8575ef0c0c72191808f1691b6cad3fa51dc5dffd75d7c68a0dddd978ef0a5e8e",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 49927764
}
]
}
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