v0.5.0
sha256:428e61b51589bb9e12afb984e1a380b1678b8b965357ae8cee21d315bf67d021
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.5.0
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.5.0
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.5.0@sha256:7d06363b461df401fa41ca5af2eb50878ebbcb19146be2541d5b3ad598ef401c
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.5.0@sha256:8f0a5e9d9b152fa6efc5817098c669f619f53066a9e94078803322c4c6be2da6
Loading
Sorry, something went wrong.
Details
- idris-2-docker/ubuntu
-
joshuanianji
- joshuanianji/idris-2-docker
- almost 3 years ago
Download activity
- Total downloads 158
- Last 30 days 1
- Last week 0
- Today 0