latest Latest
sha256:72005eadb820400690db8c05428391ec7e28437be066e20a0d751ab3b4f45af9
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:latest
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/ubuntu:latest
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:latest@sha256:299e9a1635904fb64f9a3379eecd1fde592ad9545e9c835b9db1a0061cb2800d
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:latest@sha256:14217436950d1fca75127f4704425dfec2564d813e535c48626521b6cb48f0f2
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:latest@sha256:ff9088f73f498035589e6969e92cbcb718ae92e12e25deb771d2d85b653e7e09
Loading
Sorry, something went wrong.
Details
- idris-2-docker/ubuntu
-
joshuanianji
- joshuanianji/idris-2-docker
- 3 months ago
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0