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