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