v0.5.1

sha256:789dca9a9109b5ea23aef75c26a29aa36d0ad05ea2297a5c9e5b330acc40b7fd

Install from the command line


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

Use as base image in Dockerfile:


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

linux/amd64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer:v0.5.1@sha256:824797f512d411476d4b0e7d596522492745e00fedb7a8e489e3be28de8b8bb1

linux/arm64


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

unknown/unknown


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