sha256:9c6050e041f859d5aa9ba323964d14da472df498984c22fd4567829df2aace93
Install from the command line
Learn more about packages
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:9c6050e041f859d5aa9ba323964d14da472df498984c22fd4567829df2aace93
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/debian@sha256:9c6050e041f859d5aa9ba323964d14da472df498984c22fd4567829df2aace93
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:9c6050e041f859d5aa9ba323964d14da472df498984c22fd4567829df2aace93",
"mediaType": "application/vnd.oci.image.manifest.v1+json",
"size": 1058,
"config": {
"digest": "sha256:9d83a7890c3c8678a5b5fd256bab7076ed9f2c92d669ee4e1bde55f573803550",
"mediaType": "application/vnd.oci.image.config.v1+json",
"size": 1589
},
"layers": [
{
"digest": "sha256:ba83bbfca9443648a883d1404b33faa0f5e096a99a2b683e3bbaee8912bca845",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 55081329
},
{
"digest": "sha256:e951044a409665cdc367ad52270c15b00fae726509d4a6f7a5bc91ddec7f0ea7",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 2355162
},
{
"digest": "sha256:9d83a7890c3c8678a5b5fd256bab7076ed9f2c92d669ee4e1bde55f573803550",
"mediaType": "application/octet-stream",
"size": 1589
},
{
"digest": "sha256:9ee575d8867395894c405843f4a1f132c888f5b8860d89122e65cb07eaffe7a1",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 154694
},
{
"digest": "sha256:e7146c5d36ce5497aa9fa2c99f6b1affcd7b4eff3c681eb663e53eaaf3ad24b6",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 46484356
}
]
}
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