Skip to content

coq 8.15.2 Public Latest

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

Recent tagged image versions

  • latest 8.15.2
    Published over 3 years ago · Digest
    sha256:7b46735e9f306362a84612ce645eebdf5b6b748db7ccafcd2bed0bf633d86cdd
    310 Version downloads
  • 8.12
    Published over 3 years ago · Digest
    sha256:83e0ab871d1640c1e0f42a9d0cc6dfd717230e53e282031cf776e1cfcadf1506
    152 Version downloads
View all tagged versions

Loading

Details

Last published

over 3 years ago

Issues

0

Total downloads

462