sha256:7bc2b6d51f4b4d7a3c702fd491c82cd542356e384728e844b1af7b1f39f302c9
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:7bc2b6d51f4b4d7a3c702fd491c82cd542356e384728e844b1af7b1f39f302c9
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/debian@sha256:7bc2b6d51f4b4d7a3c702fd491c82cd542356e384728e844b1af7b1f39f302c9
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:7bc2b6d51f4b4d7a3c702fd491c82cd542356e384728e844b1af7b1f39f302c9@sha256:9c6050e041f859d5aa9ba323964d14da472df498984c22fd4567829df2aace93
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:7bc2b6d51f4b4d7a3c702fd491c82cd542356e384728e844b1af7b1f39f302c9@sha256:948f9ab5ca81a477bc86fa3c9174d30e3a86f9c9dab66cfcdd3fea0d5afb83db
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:7bc2b6d51f4b4d7a3c702fd491c82cd542356e384728e844b1af7b1f39f302c9@sha256:a9227bf25d4878d5f241d606db9a5ce8aa4a3e9716343a8279dadea73615970f
Loading
Sorry, something went wrong.
Details
- idris-2-docker/debian
-
joshuanianji
- joshuanianji/idris-2-docker
- 6 months ago
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0