sha256:e89fff68969c6efc90bff48d020727ed1482f4351834b7780475bd8b86bbfdce
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:e89fff68969c6efc90bff48d020727ed1482f4351834b7780475bd8b86bbfdce
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:e89fff68969c6efc90bff48d020727ed1482f4351834b7780475bd8b86bbfdce
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:e89fff68969c6efc90bff48d020727ed1482f4351834b7780475bd8b86bbfdce@sha256:9bb7e37a809d283bd1a17f0e712a71568f45ea02af73abc4eb5307288a98df31
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:e89fff68969c6efc90bff48d020727ed1482f4351834b7780475bd8b86bbfdce@sha256:274228f1da3016cde9337e03def93dc98e78e72441b3c78e920a370c704655d3
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:e89fff68969c6efc90bff48d020727ed1482f4351834b7780475bd8b86bbfdce@sha256:7f654c9e51ceac1286927f8e5fdff1302a631080c7fc80367c727bc746c8008c
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