v0.7.0

sha256:47221ae627bc9dfe73c5b25653c19ee1dc668aa6ef28b6ce31e83541eafc5408

Install from the command line


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

Use as base image in Dockerfile:


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

linux/amd64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.7.0@sha256:3b52e29638cf4256b209d164cd7a8cba03a5cad9cea0ead904e5b95ad2b1fd6e

linux/arm64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.7.0@sha256:7649246734cc00d7b9bc5c20d8b87728848e7b20d1c62141494e47d658cfe926

unknown/unknown


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