v0.7.0

sha256:84efd780c8624518da42e88b9efb8572ffbe558fa8105926729471b5713932df

Install from the command line


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

Use as base image in Dockerfile:


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

linux/amd64


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

linux/arm64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer:v0.7.0@sha256:1114c76940d62e291a88cd48b9737792441dd6d374c4d096cc8e7173c24a2260

unknown/unknown


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