v0.6.0

sha256:a4b2f36ea45d4b918837ed6634241bb45edcd2bce5d69a97a1ed20adadb3438f

Install from the command line


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

Use as base image in Dockerfile:


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

linux/amd64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.6.0@sha256:54e3194d3413e1f59b8e7d5cc98a233dbc3fe28d964a4aa878562fe55b56b802

linux/arm64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.6.0@sha256:4962a29eb6a64b58ae3be2cd0b9c2faca86161c88ae847b495afbcac5378530f

unknown/unknown


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.6.0@sha256:ef6a88d795ea6d3ef70c5706be886779abac71c295e2360027dca87562fe0c8d