Tags for coqorg/coq

docker pull coqorg/coq:8.19-native-flambda

docker pull coqorg/coq:8.19.2-native-flambda

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

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

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.14-ocaml-4.14-flambda

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

docker pull coqorg/coq:latest-native-flambda

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

docker pull coqorg/coq:8.20-native-flambda

docker pull coqorg/coq:8.20.1-native-flambda

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

docker pull coqorg/coq:8.20.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.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.18-native-flambda