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