Skip to content

idris2-pack

Install from the command line
Learn more about packages
$ docker pull ghcr.io/stefan-hoeck/idris2-pack:nightly-240516

Recent tagged image versions

  • latest nightly-240516
    Published about 8 hours ago · Digest
    sha256:e562ecb6a1bc603aeecd0141991851791e55cc2f74bea7a28560cd515fed8e8e
    82 Version downloads
  • nightly-240515
    Published 1 day ago · Digest
    sha256:017ff1e0c329d307629385b66fed5ca8eaed121f7f95cfc9a20424b620a6e449
    314 Version downloads
  • nightly-240514
    Published 2 days ago · Digest
    sha256:c58ebbb7ec0feea3b7deec5ce797f16b7931b39da11997ad793424f15d090554
    268 Version downloads
  • nightly-240513
    Published 3 days ago · Digest
    sha256:6a53021bcdc3fa42b4ae66070745a7a131eac062654024d5f57d5943c55834dd
    76 Version downloads
  • nightly-240512
    Published 4 days ago · Digest
    sha256:dd51e1aebdd5846c65e86d482c042aacad2d8406b05c79d8ca59501825f87403
    258 Version downloads
View all tagged versions

Details

Last published

8 hours ago

Issues

12

Total downloads

120K

Collaborators 5