sha256:1ca3b04bd9180551c17afae8d3f27dfa74d42df5b7abf8edf13e60858ca4533b
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:1ca3b04bd9180551c17afae8d3f27dfa74d42df5b7abf8edf13e60858ca4533b
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:1ca3b04bd9180551c17afae8d3f27dfa74d42df5b7abf8edf13e60858ca4533b
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:1ca3b04bd9180551c17afae8d3f27dfa74d42df5b7abf8edf13e60858ca4533b@sha256:14af278f9c24bbfaf9e30c4f9d3ba18ded294e7e629c47b8befde5fb0d63705d
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:1ca3b04bd9180551c17afae8d3f27dfa74d42df5b7abf8edf13e60858ca4533b@sha256:9fabd70d1e2539f314fa78cb8be746b1eef3eff5880ce17adc7714f4a1469361
Loading
Sorry, something went wrong.
Details
Download activity
- Total downloads 1
- Last 30 days 0
- Last week 0
- Today 0