Repository navigation

bot/coqbot v0.2.0 Public Latest

Install from the command line


      
  
      
        $ docker pull ghcr.io/rocq-prover/bot/coqbot:v0.2.0

Heads up! Containers at docker.pkg.github.com have been migrated to the Container registry and can now be accessed via either ghcr.io or docker.pkg.github.com Learn more about packages

Recent tagged image versions

v0.2.0

Published about 6 years ago · Digest
sha256:2b49a6ee99afa4f23c992b87344dc0fe8e82162f14fc4ad0fc750f5714e82526

174 Version downloads
v0.1.0

Published over 6 years ago · Digest
sha256:5ec60d0b95eb9660ef56a0fee805c09e33926473bac047032b837b33a5083e67

171 Version downloads