sha256:3e27d652789fa5f110ea0907c1d2e1812288d3ca1052c8c6954e21c43ccc296e
Install from the command line
Learn more about packages
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:3e27d652789fa5f110ea0907c1d2e1812288d3ca1052c8c6954e21c43ccc296e
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:3e27d652789fa5f110ea0907c1d2e1812288d3ca1052c8c6954e21c43ccc296e
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:3e27d652789fa5f110ea0907c1d2e1812288d3ca1052c8c6954e21c43ccc296e",
"mediaType": "application/vnd.oci.image.manifest.v1+json",
"size": 566,
"config": {
"digest": "sha256:1c5b79c93c9ccb563e14b7888f87834c48dd379ccae1651143e05b0b17fdc8c5",
"mediaType": "application/vnd.oci.image.config.v1+json",
"size": 167
},
"layers": [
{
"digest": "sha256:24d0479812c249002afb39771388f09c68d09e60999fb1f5f8180d07b13547f5",
"mediaType": "application/vnd.in-toto+json",
"size": 8643
},
{
"digest": "sha256:1c5b79c93c9ccb563e14b7888f87834c48dd379ccae1651143e05b0b17fdc8c5",
"mediaType": "application/octet-stream",
"size": 167
}
]
}
Details
- idris-2-docker/ubuntu
-
joshuanianji
- joshuanianji/idris-2-docker
- about 1 year ago
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0