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