Skip to content

env-dafny v0.9.0 Public Latest

Base INGInious grading environment.

Install from the command line
Learn more about packages
$ docker pull ghcr.io/inginious/env-dafny:v0.9.0

Recent tagged image versions

  • v0.9.0
    Published 4 months ago · Digest
    sha256:bc09863a845fa6bf6c511327481532befd51538b355698d092bb1ec9337c2193
    0 Version downloads
  • v0.8.9
    Published 5 months ago · Digest
    sha256:fbeadcf6097365c426cbec2bbe00014fed22b672e54c6f95f7b0756d0b9af8e7
    0 Version downloads
  • v0.8.8
    Published 5 months ago · Digest
    sha256:e1d3f3e997a8ed746de70b72c4bf38d7990073a33e5657de850d5c6c94238fdc
    0 Version downloads
  • latest
    Published over 1 year ago · Digest
    sha256:d1df24752a863408703fb16e5f55fa3bccc0917f742e00fe7adc05fc29e432e3
    61 Version downloads
  • cache
    Published over 1 year ago · Digest
    sha256:f32d474aae31f28fdd2bc144af6c9a9c524014e4bdf133b4a6b71cbb98eb0d6b
    62 Version downloads
View all tagged versions

Loading

Details

Last published

4 months ago

Issues

3

Total downloads

333