idris2-pack nightly-251030-jammy Public Latest

Install from the command line

Learn more about packages


      
  
      
        $ docker pull ghcr.io/spcfox/idris2-pack:nightly-251030-jammy

Recent tagged image versions

nightly-251030-jammy jammy

Published about 1 month ago · Digest
sha256:4a583b8fc4ad17a9e9f2ebd679af0b9c26e9fc5bc7feb37b9f22913a527333a9

0 Version downloads
latest nightly-251030-noble nightly-251030 noble

Published about 1 month ago · Digest
sha256:d104a6ef2c7ba65550cd5f77f6058c597efbde8f2de1081f8d5c1bec9c8cb3a7

2 Version downloads

View all tagged versions

Loading

Details

spcfox
idris2-pack
BSD 3-Clause "New" or "Revised" License
0 stars

Last published

1 month ago

Total downloads

60

Contributors