coqorg/coq

Tags for coqorg/coq

Sort by

TAG

Last pushed about 17 hours by justme06

docker pull coqorg/coq:8.16-native-flambda

Digest	OS/ARCH	Compressed size
cd48683ecfa7	linux/amd64	1.41 GB

TAG

8.16.1-native-flambda

Last pushed about 17 hours by justme06

docker pull coqorg/coq:8.16.1-native-flambda

Digest	OS/ARCH	Compressed size
cd48683ecfa7	linux/amd64	1.41 GB

TAG

8.16-native-ocaml-4.13-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
cd48683ecfa7	linux/amd64	1.41 GB

TAG

8.16.1-native-ocaml-4.13.1-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
cd48683ecfa7	linux/amd64	1.41 GB

TAG

8.17-native-flambda

Last pushed about 17 hours by justme06

docker pull coqorg/coq:8.17-native-flambda

Digest	OS/ARCH	Compressed size
9f1851ce8425	linux/amd64	1.37 GB

TAG

8.17.1-native-flambda

Last pushed about 17 hours by justme06

docker pull coqorg/coq:8.17.1-native-flambda

Digest	OS/ARCH	Compressed size
9f1851ce8425	linux/amd64	1.37 GB

TAG

8.17-native-ocaml-4.13-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
9f1851ce8425	linux/amd64	1.37 GB

TAG

8.17.1-native-ocaml-4.13.1-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
9f1851ce8425	linux/amd64	1.37 GB

TAG

8.18-native-flambda

Last pushed about 17 hours by justme06

docker pull coqorg/coq:8.18-native-flambda

Digest	OS/ARCH	Compressed size
c2a4fc5934ce	linux/amd64	1.36 GB

TAG

8.14-ocaml-4.14-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
ba8361c977a5	linux/amd64	1.29 GB

TAG

8.18.0-native-flambda

Last pushed about 17 hours by justme06

docker pull coqorg/coq:8.18.0-native-flambda

Digest	OS/ARCH	Compressed size
c2a4fc5934ce	linux/amd64	1.36 GB

TAG

8.14.1-ocaml-4.14.2-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
ba8361c977a5	linux/amd64	1.29 GB

TAG

8.18-native-ocaml-4.13-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
c2a4fc5934ce	linux/amd64	1.36 GB

TAG

8.18.0-native-ocaml-4.13.1-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
c2a4fc5934ce	linux/amd64	1.36 GB

TAG

latest-ocaml-4.14-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
92ae400b4721	linux/amd64	1.33 GB

TAG

8.20-ocaml-4.14-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
92ae400b4721	linux/amd64	1.33 GB

TAG

8.20.1-ocaml-4.14.2-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
92ae400b4721	linux/amd64	1.33 GB

TAG

8.16-ocaml-4.14-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
82910d00b308	linux/amd64	1.37 GB

TAG

8.16.1-ocaml-4.14.2-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
82910d00b308	linux/amd64	1.37 GB

TAG

8.15-ocaml-4.14-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
2609885fb40b	linux/amd64	1.33 GB

TAG

8.15.2-ocaml-4.14.2-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
2609885fb40b	linux/amd64	1.33 GB

TAG

8.16-ocaml-4.12-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
ca4eefbeef5c	linux/amd64	1.36 GB

TAG

8.16.1-ocaml-4.12.1-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
ca4eefbeef5c	linux/amd64	1.36 GB

TAG

8.18-ocaml-4.12-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
85cd2e038625	linux/amd64	1.32 GB

TAG

8.18.0-ocaml-4.12.1-flambda

Last pushed about 17 hours by justme06

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

Digest	OS/ARCH	Compressed size
85cd2e038625	linux/amd64	1.32 GB