sha256:737bb7756c1a0c00c72565153820d02fe36872d945c5ab82557dbc25e9cc4d2a
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:737bb7756c1a0c00c72565153820d02fe36872d945c5ab82557dbc25e9cc4d2a
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:737bb7756c1a0c00c72565153820d02fe36872d945c5ab82557dbc25e9cc4d2a
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:737bb7756c1a0c00c72565153820d02fe36872d945c5ab82557dbc25e9cc4d2a@sha256:12a7e405e76b47ab685dc514f2824dd57487f1680eefe092089f36b15eb61bb6
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:737bb7756c1a0c00c72565153820d02fe36872d945c5ab82557dbc25e9cc4d2a@sha256:23f14f1119ffda104353d7725b3d8d394056242c25b6ddab4db6b1ad73525281
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