idris-2-docker/devcontainer latest Public Latest

Install from the command line


    
  
      
      $ docker pull 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

Recent tagged image versions

latest

Published 12 months ago · Digest
sha256:3939160c8b6fd97c10e3630952208b3862903996af754511f7ccaa112c597eb6

1,916 Version downloads
v0.7.0

Published 12 months ago · Digest
sha256:84efd780c8624518da42e88b9efb8572ffbe558fa8105926729471b5713932df

67 Version downloads
v0.6.0

Published 12 months ago · Digest
sha256:a5df35c5a4a0cc2672094b1b54925b9f29c7eed015c989ae6447f097ceb5f9ad

1 Version downloads
v0.5.1

Published over 1 year ago · Digest
sha256:789dca9a9109b5ea23aef75c26a29aa36d0ad05ea2297a5c9e5b330acc40b7fd

88 Version downloads
v0.5.0

Published almost 3 years ago · Digest
sha256:d1db28dad0931e45c82cf2a361bfb4e536c1a14fcd9e3a118032fc8d5a3abb68

162 Version downloads