v0.6.0

sha256:a5df35c5a4a0cc2672094b1b54925b9f29c7eed015c989ae6447f097ceb5f9ad

Install from the command line


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

Use as base image in Dockerfile:


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

linux/amd64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer:v0.6.0@sha256:591e92899420deab5f45fe3334f141f7fc4603fa16f945eeb8b84ff08527a09a

linux/arm64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer:v0.6.0@sha256:81efe6ddcffeb0d14677973b63d3fdef8453ff172589c617f3bd93ddb55aba1b

unknown/unknown


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer:v0.6.0@sha256:45ad4f80a9a1762f399612907de3e35c0a34972f6fb109aaf10eddf4985a906e