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