sha256:3082b4463e23960c0290499e5c0390dada40332d43370fce551ba3470f43369e
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:3082b4463e23960c0290499e5c0390dada40332d43370fce551ba3470f43369e
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:3082b4463e23960c0290499e5c0390dada40332d43370fce551ba3470f43369e
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:3082b4463e23960c0290499e5c0390dada40332d43370fce551ba3470f43369e@sha256:0146f0f3369396443b36623e0e7bd0b88475aa7ac5e3eb2e3ac5f96c7aad0894
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:3082b4463e23960c0290499e5c0390dada40332d43370fce551ba3470f43369e@sha256:089375a77502659e83a2dbfb963a80281ffdc28986a13d8df1059f000a85586f
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