sha256:4f2b40356065abb47e4230a0784517bedd6cd519bf5f5a348643b8199bfa774b
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:4f2b40356065abb47e4230a0784517bedd6cd519bf5f5a348643b8199bfa774b
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:4f2b40356065abb47e4230a0784517bedd6cd519bf5f5a348643b8199bfa774b
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:4f2b40356065abb47e4230a0784517bedd6cd519bf5f5a348643b8199bfa774b@sha256:7bbce310dfd503088e06c1ccc7001838d75462b7e2a0acb46c4d0b89f5dc10cf
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:4f2b40356065abb47e4230a0784517bedd6cd519bf5f5a348643b8199bfa774b@sha256:d7e016ccd8727c9f73c7226574371f8a6167cd604864963bda8a8c6f22875dd1
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:4f2b40356065abb47e4230a0784517bedd6cd519bf5f5a348643b8199bfa774b@sha256:396560777de6fcf2682cefee0d4560ad2d57ba16700cfa8f68d23723646869f9
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