erikmd/coq

•Updated about 8 years ago

Docker images of Coq and MathComp

Image

784

Tags for erikmd/coq

Sort by

TAG

8.6.1_mathcomp-1.7.0

Last pushed about 8 years by erikmd

docker pull erikmd/coq:8.6.1_mathcomp-1.7.0

Digest	OS/ARCH	Compressed size
b3e19c6807d1	linux/amd64	513.51 MB

TAG

8.8.1_mathcomp-1.7.0

Last pushed about 8 years by erikmd

docker pull erikmd/coq:8.8.1_mathcomp-1.7.0

Digest	OS/ARCH	Compressed size
f37184f7faaf	linux/amd64	515.82 MB

TAG

8.7.2_mathcomp-1.7.0

Last pushed about 8 years by erikmd

docker pull erikmd/coq:8.7.2_mathcomp-1.7.0

Digest	OS/ARCH	Compressed size
dd07f406f5e9	linux/amd64	510.39 MB

TAG

8.8.1

Last pushed about 8 years by erikmd

docker pull erikmd/coq:8.8.1

Digest	OS/ARCH	Compressed size
3c557506d401	linux/amd64	428.57 MB

TAG

8.8.0

Last pushed about 8 years by erikmd

docker pull erikmd/coq:8.8.0

Digest	OS/ARCH	Compressed size
8269c0a36f49	linux/amd64	428.51 MB

TAG

8.7.2

Last pushed about 8 years by erikmd

docker pull erikmd/coq:8.7.2

Digest	OS/ARCH	Compressed size
bfd8f48c9e76	linux/amd64	426.9 MB

TAG

8.7.1

Last pushed about 8 years by erikmd

docker pull erikmd/coq:8.7.1

Digest	OS/ARCH	Compressed size
44084373c3da	linux/amd64	426.73 MB

TAG

8.7.0

Last pushed about 8 years by erikmd

docker pull erikmd/coq:8.7.0

Digest	OS/ARCH	Compressed size
dd1ec6919a80	linux/amd64	423.34 MB

TAG

8.6.1

Last pushed about 8 years by erikmd

docker pull erikmd/coq:8.6.1

Digest	OS/ARCH	Compressed size
ed48385ff965	linux/amd64	429.03 MB

TAG

8.6

Last pushed about 8 years by erikmd

docker pull erikmd/coq:8.6

Digest	OS/ARCH	Compressed size
657b6290785e	linux/amd64	428.84 MB