sha256:e5a1ef370404f2a520180c2fe8f5368b0c94b8827edfc909a47771211f0b36c6
Install from the command line
Learn more about packages
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:e5a1ef370404f2a520180c2fe8f5368b0c94b8827edfc909a47771211f0b36c6
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:e5a1ef370404f2a520180c2fe8f5368b0c94b8827edfc909a47771211f0b36c6
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:e5a1ef370404f2a520180c2fe8f5368b0c94b8827edfc909a47771211f0b36c6",
"mediaType": "application/vnd.oci.image.manifest.v1+json",
"size": 2391,
"config": {
"digest": "sha256:8a708a4fe308fe0529f3b51efe92addff4d703c758353e0caf18ae4218ca7b33",
"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:f12d98ff418430f62a3f793dd8eb988be31856c51b688b3dac5c88003023b5ae",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 3752163
},
{
"digest": "sha256:8a708a4fe308fe0529f3b51efe92addff4d703c758353e0caf18ae4218ca7b33",
"mediaType": "application/octet-stream",
"size": 8275
},
{
"digest": "sha256:6150636566b80fdbb61129b17eb632ba336370c031013dcb2f73d6f49ecacce8",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 463570
},
{
"digest": "sha256:6357f70f2d2f5199c6cbcf1dbbe5624140b9b6be7b74c124075c840a677e91cd",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 70081010
}
]
}
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