sha256:b878d9e704c7668bc6b7dc0e81139bcf237bd55085fc798e86eec1e5ea070fc5
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:b878d9e704c7668bc6b7dc0e81139bcf237bd55085fc798e86eec1e5ea070fc5
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:b878d9e704c7668bc6b7dc0e81139bcf237bd55085fc798e86eec1e5ea070fc5
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:b878d9e704c7668bc6b7dc0e81139bcf237bd55085fc798e86eec1e5ea070fc5@sha256:caac09fa94d5c96fcab4a6030283a07fc08fd5e9d0864a5c78a3fdddabb0bb43
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:b878d9e704c7668bc6b7dc0e81139bcf237bd55085fc798e86eec1e5ea070fc5@sha256:3e1142e6a062d57cc07e20e6bc3f99d1d9f736a1ee08562b4e09585c70820a8e
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