v0.5.1

sha256:3473031cc9dd363207d7fb9c2a9a627c0371d36192c5b45fca1eacff7c607ab2

Install from the command line


    
  
      
      $ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.5.1

Use as base image in Dockerfile:


            
  
      
            FROM ghcr.io/joshuanianji/idris-2-docker/debian:v0.5.1

linux/amd64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.5.1@sha256:56c59f3717d0ddff8232ca3aab8c5c76a46b214dfe21d8609bc5c635f483fc9e

linux/arm64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.5.1@sha256:a856f49758a75083ffa359e7a9e4c8b8adb79432d4069f0cf8da7b0cea86e425

unknown/unknown


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.5.1@sha256:bbf81d1604a90cced9ba513b569f0389fb7c9eb249b07297a39dd5805519c461