latest Latest

sha256:3939160c8b6fd97c10e3630952208b3862903996af754511f7ccaa112c597eb6

Install from the command line


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

Use as base image in Dockerfile:


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

linux/amd64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer:latest@sha256:ce654b8334272c80e926d0c34cb5330474e5a15edd80ea51b4ee4527a07fbdd0

linux/arm64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer:latest@sha256:14af278f9c24bbfaf9e30c4f9d3ba18ded294e7e629c47b8befde5fb0d63705d

unknown/unknown


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer:latest@sha256:9fabd70d1e2539f314fa78cb8be746b1eef3eff5880ce17adc7714f4a1469361