Tags for coqorg/coq

docker pull coqorg/coq:8.16-native-flambda

docker pull coqorg/coq:8.16.1-native-flambda

docker pull coqorg/coq:8.16-native-ocaml-4.13-flambda

docker pull coqorg/coq:8.16.1-native-ocaml-4.13.1-flambda

docker pull coqorg/coq:8.17-native-flambda

docker pull coqorg/coq:8.17.1-native-flambda

docker pull coqorg/coq:8.17-native-ocaml-4.13-flambda

docker pull coqorg/coq:8.17.1-native-ocaml-4.13.1-flambda

docker pull coqorg/coq:8.18-native-flambda

docker pull coqorg/coq:8.14-ocaml-4.14-flambda

docker pull coqorg/coq:8.18.0-native-flambda

docker pull coqorg/coq:8.14.1-ocaml-4.14.2-flambda

docker pull coqorg/coq:8.18-native-ocaml-4.13-flambda

docker pull coqorg/coq:8.18.0-native-ocaml-4.13.1-flambda

docker pull coqorg/coq:latest-ocaml-4.14-flambda

docker pull coqorg/coq:8.20-ocaml-4.14-flambda

docker pull coqorg/coq:8.20.1-ocaml-4.14.2-flambda

docker pull coqorg/coq:8.16-ocaml-4.14-flambda

docker pull coqorg/coq:8.16.1-ocaml-4.14.2-flambda

docker pull coqorg/coq:8.15-ocaml-4.14-flambda

docker pull coqorg/coq:8.15.2-ocaml-4.14.2-flambda

docker pull coqorg/coq:8.16-ocaml-4.12-flambda

docker pull coqorg/coq:8.16.1-ocaml-4.12.1-flambda

docker pull coqorg/coq:8.18-ocaml-4.12-flambda

docker pull coqorg/coq:8.18.0-ocaml-4.12.1-flambda