sha256:93420430dc619ff818af76c10a87a8a2033e564a1c0f10f860f3710fe7cde321
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:93420430dc619ff818af76c10a87a8a2033e564a1c0f10f860f3710fe7cde321
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:93420430dc619ff818af76c10a87a8a2033e564a1c0f10f860f3710fe7cde321
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:93420430dc619ff818af76c10a87a8a2033e564a1c0f10f860f3710fe7cde321@sha256:f8f21946a237bac3b5c11a46aba425aab4ad43721b0d97fdf718ad2de4dd1d85
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:93420430dc619ff818af76c10a87a8a2033e564a1c0f10f860f3710fe7cde321@sha256:36db2bcdc43c6c14cb3fb63ac848ec369356f9a647ea803db8cb32daf7ea8901
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:93420430dc619ff818af76c10a87a8a2033e564a1c0f10f860f3710fe7cde321@sha256:fd4c73556b9a0cc1b65620f26b28ef40a43a63506d8d9730ef74c19736618cd2
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