sha256:c3942fc1f291eb02801b2f31ea30d25fc074240fe74c2d761aa81b109a5ef339
Install from the command line
Learn more about packages
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:c3942fc1f291eb02801b2f31ea30d25fc074240fe74c2d761aa81b109a5ef339
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/debian@sha256:c3942fc1f291eb02801b2f31ea30d25fc074240fe74c2d761aa81b109a5ef339
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:c3942fc1f291eb02801b2f31ea30d25fc074240fe74c2d761aa81b109a5ef339",
"mediaType": "application/vnd.oci.image.manifest.v1+json",
"size": 566,
"config": {
"digest": "sha256:ac22d56189296b866b5a57697f6593918a975fff1f421a4ac2d2f67c54d97472",
"mediaType": "application/vnd.oci.image.config.v1+json",
"size": 167
},
"layers": [
{
"digest": "sha256:207be600058959c9a08a4cae06dd209ba3bd648cf4cf380023624e8e4496d380",
"mediaType": "application/vnd.in-toto+json",
"size": 8653
},
{
"digest": "sha256:ac22d56189296b866b5a57697f6593918a975fff1f421a4ac2d2f67c54d97472",
"mediaType": "application/octet-stream",
"size": 167
}
]
}
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