coqorg/coq

Tags for coqorg/coq

Sort by

TAG

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.16-native-flambda

Digest	OS/ARCH	Compressed size
e9caeb3afc97	linux/amd64	1.37 GB

TAG

8.16.1-native-flambda

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.16.1-native-flambda

Digest	OS/ARCH	Compressed size
e9caeb3afc97	linux/amd64	1.37 GB

TAG

8.16-native-ocaml-4.13-flambda

Last pushed 4 months by erikmd

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

Digest	OS/ARCH	Compressed size
e9caeb3afc97	linux/amd64	1.37 GB

TAG

8.16.1-native-ocaml-4.13.1-flambda

Last pushed 4 months by erikmd

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

Digest	OS/ARCH	Compressed size
e9caeb3afc97	linux/amd64	1.37 GB

TAG

8.15-native-flambda

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.15-native-flambda

Digest	OS/ARCH	Compressed size
800ec503257f	linux/amd64	1.32 GB

TAG

8.15.2-native-flambda

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.15.2-native-flambda

Digest	OS/ARCH	Compressed size
800ec503257f	linux/amd64	1.32 GB

TAG

8.15-native-ocaml-4.07-flambda

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.15-native-ocaml-4.07-flambda

Digest	OS/ARCH	Compressed size
800ec503257f	linux/amd64	1.32 GB

TAG

8.15.2-native-ocaml-4.07.1-flambda

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.15.2-native-ocaml-4.07.1-flambda

Digest	OS/ARCH	Compressed size
800ec503257f	linux/amd64	1.32 GB

TAG

8.14-native-flambda

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.14-native-flambda

Digest	OS/ARCH	Compressed size
d7c0c2aac0f9	linux/amd64	1.32 GB

TAG

8.14.1-native-flambda

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.14.1-native-flambda

Digest	OS/ARCH	Compressed size
d7c0c2aac0f9	linux/amd64	1.32 GB

TAG

8.14-native-ocaml-4.07-flambda

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.14-native-ocaml-4.07-flambda

Digest	OS/ARCH	Compressed size
d7c0c2aac0f9	linux/amd64	1.32 GB

TAG

8.14.1-native-ocaml-4.07.1-flambda

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.14.1-native-ocaml-4.07.1-flambda

Digest	OS/ARCH	Compressed size
d7c0c2aac0f9	linux/amd64	1.32 GB

TAG

8.14-ocaml-4.14-flambda

Last pushed 4 months by erikmd

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

Digest	OS/ARCH	Compressed size
de97bdd93b65	linux/amd64	1.25 GB

TAG

8.14.1-ocaml-4.14.2-flambda

Last pushed 4 months by erikmd

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

Digest	OS/ARCH	Compressed size
de97bdd93b65	linux/amd64	1.25 GB

TAG

8.18-ocaml-4.09-flambda

Last pushed 4 months by erikmd

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

Digest	OS/ARCH	Compressed size
0578d6085243	linux/amd64	1.16 GB

TAG

8.18.0-ocaml-4.09.1-flambda

Last pushed 4 months by erikmd

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

Digest	OS/ARCH	Compressed size
0578d6085243	linux/amd64	1.16 GB

TAG

8.14-native

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.14-native

Digest	OS/ARCH	Compressed size
2a31e26425c9	linux/amd64	1.03 GB

TAG

8.17

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.17

Digest	OS/ARCH	Compressed size
56429466f0a0	linux/amd64	1.3 GB

TAG

8.14.1-native

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.14.1-native

Digest	OS/ARCH	Compressed size
2a31e26425c9	linux/amd64	1.03 GB

TAG

8.17.1

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.17.1

Digest	OS/ARCH	Compressed size
56429466f0a0	linux/amd64	1.3 GB

TAG

8.14-native-ocaml-4.07

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.14-native-ocaml-4.07

Digest	OS/ARCH	Compressed size
2a31e26425c9	linux/amd64	1.03 GB

TAG

8.17-ocaml-4.13-flambda

Last pushed 4 months by erikmd

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

Digest	OS/ARCH	Compressed size
56429466f0a0	linux/amd64	1.3 GB

TAG

8.14.1-native-ocaml-4.07.1

Last pushed 4 months by erikmd

docker pull coqorg/coq:8.14.1-native-ocaml-4.07.1

Digest	OS/ARCH	Compressed size
2a31e26425c9	linux/amd64	1.03 GB

TAG

8.17.1-ocaml-4.13.1-flambda

Last pushed 4 months by erikmd

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

Digest	OS/ARCH	Compressed size
56429466f0a0	linux/amd64	1.3 GB

TAG

8.16-ocaml-4.09-flambda

Last pushed 4 months by erikmd

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

Digest	OS/ARCH	Compressed size
48785c2ef11f	linux/amd64	1.2 GB