sha256:66202da635f4cf1b23f0d5c8da34a931a95fe8b6031f69d83e8e563836a8486f
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:66202da635f4cf1b23f0d5c8da34a931a95fe8b6031f69d83e8e563836a8486f
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:66202da635f4cf1b23f0d5c8da34a931a95fe8b6031f69d83e8e563836a8486f
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:66202da635f4cf1b23f0d5c8da34a931a95fe8b6031f69d83e8e563836a8486f@sha256:a1b11aec0f7b00fdbbb6bf0564bc2ecf6fb549ed7bc500ef7f1c09a945b8c821
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:66202da635f4cf1b23f0d5c8da34a931a95fe8b6031f69d83e8e563836a8486f@sha256:42f94fe09fde4ce41552afe9afac5951339f80149eb69aa379bf555dcb403062
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