v0.5.0

sha256:f038a789c93bcd05229fac75dff5dcad6fde9e8fce05a89139bc2b655dfbd682

Install from the command line


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

Use as base image in Dockerfile:


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

linux/amd64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.5.0@sha256:7eef7d4089c53cfce476bf6716045848cb39f84e1c67861afb77ad04af94ff7a

linux/arm64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.5.0@sha256:0b59adc9f43358caf4aa65525b4d28b66bf5831d4f74d813dd8daecb6be62f57