v0.5.0

sha256:d1db28dad0931e45c82cf2a361bfb4e536c1a14fcd9e3a118032fc8d5a3abb68

Install from the command line


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

Use as base image in Dockerfile:


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

linux/amd64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer:v0.5.0@sha256:227e8ceb1ef2459554411005ee8d30965964e3e7775919dd4001548a650b678d

linux/arm64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer:v0.5.0@sha256:e2680bc44a1ad9209cb82373e8879bdcbfe708b12657dfe1639cf0ce0161c403