sha256:85ec0d6b0db49a77ef48e73e9ddc0acf960eb771f5b882c9c56d57734929617c
Install from the command line
Learn more about packages
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:85ec0d6b0db49a77ef48e73e9ddc0acf960eb771f5b882c9c56d57734929617c
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:85ec0d6b0db49a77ef48e73e9ddc0acf960eb771f5b882c9c56d57734929617c
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:85ec0d6b0db49a77ef48e73e9ddc0acf960eb771f5b882c9c56d57734929617c",
"mediaType": "application/vnd.oci.image.manifest.v1+json",
"size": 2391,
"config": {
"digest": "sha256:c9ebb92c400a3b18935181a3336267ff451d2ddae674ca8428fe5729a95ffa3b",
"mediaType": "application/vnd.oci.image.config.v1+json",
"size": 8275
},
"layers": [
{
"digest": "sha256:5d8903d6126c38fefcb1196b9998da0798f56cbdf18a91c00d822144c232af6b",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 53729921
},
{
"digest": "sha256:ed3db3ee6245513b1422983db21d89f4f743f300e726af9eff6c9f7e2dddcb67",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 15749505
},
{
"digest": "sha256:f25856c18ad2191164a9b22bb522d6423a3ea0739b65acc403d8ed10d501c345",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 223
},
{
"digest": "sha256:1fff8cc89db5d34f77a303e3b2a4e1271045c56c66b3b4e109df072e5f0b0ff1",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 135
},
{
"digest": "sha256:4fcc1bc6769262c9eab3eb4a42b13ad03350fcec68cb6a088c69ee2d7ebf4c7a",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 409
},
{
"digest": "sha256:7cc1b470f06be59bd1d5242fd885bdfcc4f013cd595a597f1abf2343e3b3572b",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 236
},
{
"digest": "sha256:ae0af1dba436f33c254353d60747c3f02dfc5aa594286e51b96c9eeb5d2ca414",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 106779724
},
{
"digest": "sha256:e2648987411b1b0125ff16cb55afe5c4b711c120ed47a2942af701dad80acc1c",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 152446895
},
{
"digest": "sha256:31f96ec2ca0da3d33cf4c4550d8213d53540dddb11c390c14747918e24f5252d",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 3752167
},
{
"digest": "sha256:8c8de07efb08e94ed5a979a3d3023b0df2cec984adf8f8927f868f3f24923979",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 463572
},
{
"digest": "sha256:c9ebb92c400a3b18935181a3336267ff451d2ddae674ca8428fe5729a95ffa3b",
"mediaType": "application/octet-stream",
"size": 8275
},
{
"digest": "sha256:8918cbc62140617c6832bcbf014dcaa8f3eb4029d16edb224d4a6e2f09dbf6c0",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 70080750
}
]
}
Details
- idris-2-docker/devcontainer
-
joshuanianji
- joshuanianji/idris-2-docker
- about 1 year ago
Download activity
- Total downloads 3
- Last 30 days 0
- Last week 0
- Today 0