sha256:79105f84741f9b7c1e2d9880b4542f0462e622750e1268e266fec6f971d116af
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:79105f84741f9b7c1e2d9880b4542f0462e622750e1268e266fec6f971d116af
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/debian@sha256:79105f84741f9b7c1e2d9880b4542f0462e622750e1268e266fec6f971d116af
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:79105f84741f9b7c1e2d9880b4542f0462e622750e1268e266fec6f971d116af@sha256:d397687d13771c2b69dc807307cf291b2ca003e44022440e527d233581c5d31a
Loading
Sorry, something went wrong.
Details
- idris-2-docker/debian
-
joshuanianji
- joshuanianji/idris-2-docker
- over 2 years ago
Download activity
- Total downloads 1
- Last 30 days 0
- Last week 0
- Today 0