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