Skip to content

agda

Install from the command line
Learn more about packages
$ docker pull ghcr.io/codewars/agda:2.6.2.2

Recent tagged image versions

  • latest 2.6.2.2
    Published over 2 years ago · Digest
    sha256:d56bf738f23befbd02352bd207483bbefe513de612683747ebc35675549e9d0e
    305 Version downloads
  • 2.6.0
    Published over 2 years ago · Digest
    sha256:48dbde0a41ff6c4a2c405b71428fb674a144ca5c832c2882aea798da6ac82327
    148 Version downloads
View all tagged versions

Loading

Details

Last published

over 2 years ago

Issues

0

Total downloads

453