v0.5.1

sha256:65d20c7ecbfa35255c99f2a0ec638bdd66950ee9ceb3c1446e14005628ec7240

Install from the command line


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

Use as base image in Dockerfile:


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

linux/amd64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.5.1@sha256:00fdf38259705e39f24cfd07f237913f519cd751d76115dbb649c88492a54ffa

linux/arm64


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

unknown/unknown


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