idris-2-docker/ubuntu latest Public Latest

Install from the command line


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

linux/amd64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:latest@sha256:299e9a1635904fb64f9a3379eecd1fde592ad9545e9c835b9db1a0061cb2800d

linux/arm64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:latest@sha256:14217436950d1fca75127f4704425dfec2564d813e535c48626521b6cb48f0f2

unknown/unknown


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:latest@sha256:ff9088f73f498035589e6969e92cbcb718ae92e12e25deb771d2d85b653e7e09

Recent tagged image versions

latest

Published 3 months ago · Digest
sha256:72005eadb820400690db8c05428391ec7e28437be066e20a0d751ab3b4f45af9

0 Version downloads
v0.7.0

Published 3 months ago · Digest
sha256:47221ae627bc9dfe73c5b25653c19ee1dc668aa6ef28b6ce31e83541eafc5408

0 Version downloads
v0.6.0

Published 3 months ago · Digest
sha256:a08708eceb2db0fcf539392e2e0b9c3ad025e0ac530a0638429fec773b0b6100

0 Version downloads
v0.5.1

Published 3 months ago · Digest
sha256:65d20c7ecbfa35255c99f2a0ec638bdd66950ee9ceb3c1446e14005628ec7240

0 Version downloads
v0.5.0

Published about 2 years ago · Digest
sha256:428e61b51589bb9e12afb984e1a380b1678b8b965357ae8cee21d315bf67d021

157 Version downloads