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