sha256:e4479985b122730559f3c346e8a07e47284a92a759ad190255b3a981c734d548
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:e4479985b122730559f3c346e8a07e47284a92a759ad190255b3a981c734d548
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:e4479985b122730559f3c346e8a07e47284a92a759ad190255b3a981c734d548
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:e4479985b122730559f3c346e8a07e47284a92a759ad190255b3a981c734d548@sha256:35625c84cad452edba6492d1179df6eb00db3e8f842e78710773ee0b48cc567b
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:e4479985b122730559f3c346e8a07e47284a92a759ad190255b3a981c734d548@sha256:79df07f9cc13765f3dd2fcc4c994973aa81e9e513d98c84a63efb627b9182d76
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:e4479985b122730559f3c346e8a07e47284a92a759ad190255b3a981c734d548@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 14
- Last 30 days 0
- Last week 0
- Today 0