tyabu/coq

By tyabu

•Updated over 7 years ago

Coq without IDE on Alpine Linux.

Image

1.5K

Overview Tags

Tags for tyabu/coq

Sort by

TAG

8.8

Last pushed over 7 years by tyabu

docker pull tyabu/coq:8.8

Digest	OS/ARCH	Compressed size
98dcea1bce51	linux/amd64	370.9 MB

TAG

8.8.2

Last pushed over 7 years by tyabu

docker pull tyabu/coq:8.8.2

Digest	OS/ARCH	Compressed size
8589760d04c1	linux/amd64	370.9 MB

TAG

8.6

Last pushed over 7 years by tyabu

docker pull tyabu/coq:8.6

Digest	OS/ARCH	Compressed size
470ca5f5e75d	linux/amd64	452.43 MB

TAG

8.7

Last pushed over 7 years by tyabu

docker pull tyabu/coq:8.7

Digest	OS/ARCH	Compressed size
43b5908cd3f5	linux/amd64	368.91 MB

TAG

8.6.1

Last pushed over 7 years by tyabu

docker pull tyabu/coq:8.6.1

Digest	OS/ARCH	Compressed size
dec7c4e31d7a	linux/amd64	452.43 MB

TAG

8.7.2

Last pushed over 7 years by tyabu

docker pull tyabu/coq:8.7.2

Digest	OS/ARCH	Compressed size
3aaf110d8e13	linux/amd64	368.91 MB

TAG

latest

Last pushed over 7 years by tyabu

docker pull tyabu/coq:latest

Digest	OS/ARCH	Compressed size
2de0f496b0c1	linux/amd64	371.36 MB

TAG

Last pushed over 7 years by tyabu

docker pull tyabu/coq:8

Digest	OS/ARCH	Compressed size
07301a7fa25e	linux/amd64	371.36 MB

TAG

8.8.1

Last pushed almost 8 years by tyabu

docker pull tyabu/coq:8.8.1

Digest	OS/ARCH	Compressed size
a0d95fb4f4f8	linux/amd64	370.49 MB

TAG

8.7.1

Last pushed over 8 years by tyabu

docker pull tyabu/coq:8.7.1

Digest	OS/ARCH	Compressed size
de506c8f994a	linux/amd64	167.87 MB

TAG

8.7.0

Last pushed over 8 years by tyabu

docker pull tyabu/coq:8.7.0

Digest	OS/ARCH	Compressed size
cc657ea7737a	linux/amd64	164.76 MB