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