idris-2-docker/base latest Public Latest

Install from the command line


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

linux/amd64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/base:latest@sha256:c7007a95c8598070684cdb88110c28a0f362634bc78f5a12708fe4288c678e5c

linux/arm64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/base:latest@sha256:91e76b09c7a08995e8a5ded71064cb7bafade879d37477b4d60ceeeb37ee5db1

unknown/unknown


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/base:latest@sha256:e0bd3020334e38be8804e52485b6c09885435d838212e67a767b2b282ed28487

Recent tagged image versions

latest

Published 3 months ago · Digest
sha256:9905bc84dc725aea17cfb597b136b65d09bbc0ac660020c3b5fd6b0e7734b01e

7 Version downloads
v0.7.0

Published 3 months ago · Digest
sha256:4ea5edbbf5b30a7634e860916f35373984bf2ac8ec0c8ab29fc7b731f166eace

4 Version downloads
v0.6.0

Published 3 months ago · Digest
sha256:45b871ff44cfdd74c20f9f0388d994b783ef3017b687cebfb7c6d88a53a702c9

4 Version downloads
v0.5.1

Published 3 months ago · Digest
sha256:145b846be506a0af3591757ad05c30402a6e29b536447dfd79f478582f2889c9

2 Version downloads
v0.5.0

Published about 2 years ago · Digest
sha256:b3ffaac271cea490c13d8f1ad434c268f5de59d3648c757d1092fac77468fd94

151 Version downloads