idris-2-docker/debian latest Public Latest

Install from the command line


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

linux/amd64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:latest@sha256:20a0c0f37bb132b0fe6e67a8e4618621d82013e9924545cb44e9c6bdc5fdb86b

linux/arm64


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:latest@sha256:2e9643f83af6f58a002915b9d7944b34c044e7aa0e46aac8d70d0c65764f6389

unknown/unknown


      
  
      
        $ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:latest@sha256:1f2f7173b07c94f93e99e70c1642f6a553791c6d369ca93f23f5865631b33ff7

Recent tagged image versions

latest

Published 3 months ago · Digest
sha256:8a385ac62c0175f6e46480e7f5fb73799c3b56ca3bdb1afaa406f2d4ff14998e

0 Version downloads
v0.7.0

Published 3 months ago · Digest
sha256:9cee5455c723067fe147629d787163bc487a91e2e883e638c46c0a09022b5dac

0 Version downloads
v0.6.0

Published 3 months ago · Digest
sha256:a4b2f36ea45d4b918837ed6634241bb45edcd2bce5d69a97a1ed20adadb3438f

0 Version downloads
v0.5.1

Published 3 months ago · Digest
sha256:3473031cc9dd363207d7fb9c2a9a627c0371d36192c5b45fca1eacff7c607ab2

0 Version downloads
v0.5.0

Published about 2 years ago · Digest
sha256:f038a789c93bcd05229fac75dff5dcad6fde9e8fce05a89139bc2b655dfbd682

145 Version downloads