sha256:116a95db0e1435b610d01bf823b020e65c70d835d33c7b52230a1b916224adb7
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:116a95db0e1435b610d01bf823b020e65c70d835d33c7b52230a1b916224adb7
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:116a95db0e1435b610d01bf823b020e65c70d835d33c7b52230a1b916224adb7
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:116a95db0e1435b610d01bf823b020e65c70d835d33c7b52230a1b916224adb7@sha256:5b6204a9fd7d56aca54b112a5e06322f8d7a07f8370bc7dc6f28e4c75844d4bf
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:116a95db0e1435b610d01bf823b020e65c70d835d33c7b52230a1b916224adb7@sha256:b92bea644cc83ab44553802603c3151c544ca65466fbf72de2871b97dbd9bde7
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:116a95db0e1435b610d01bf823b020e65c70d835d33c7b52230a1b916224adb7@sha256:a3e0ede39b25d36e800fd27f5e33eae895e91be2f00fdb855af92aebdac589fc
Loading
Sorry, something went wrong.
Details
- idris-2-docker/ubuntu
-
joshuanianji
- joshuanianji/idris-2-docker
- about 1 year ago
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0