sha256:d061efec89672cd38ec1030c624e5c170cf9fcbfe8d879e8cf4cb156d097629f
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:d061efec89672cd38ec1030c624e5c170cf9fcbfe8d879e8cf4cb156d097629f
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:d061efec89672cd38ec1030c624e5c170cf9fcbfe8d879e8cf4cb156d097629f
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:d061efec89672cd38ec1030c624e5c170cf9fcbfe8d879e8cf4cb156d097629f@sha256:24974bbe742be0b67571a51a1bafb6fca79d79fb8f6f6e4687d90bc2fffad25f
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:d061efec89672cd38ec1030c624e5c170cf9fcbfe8d879e8cf4cb156d097629f@sha256:4eeb137f8abd7078e3643c2b64f8fb56e182dd56b45acabbd91e98587d47cfa8
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