coqorg/base

Tags for coqorg/base

Sort by

TAG

4.07.1-flambda

Last pushed over 1 year by erikmd

docker pull coqorg/base:4.07.1-flambda

Digest	OS/ARCH	Compressed size
96212ade3507	linux/amd64	433.7 MB

TAG

4.05.0

Last pushed over 1 year by erikmd

docker pull coqorg/base:4.05.0

Digest	OS/ARCH	Compressed size
b63d7eabc121	linux/amd64	393.51 MB

TAG

4.07.1

Last pushed over 1 year by erikmd

docker pull coqorg/base:4.07.1

Digest	OS/ARCH	Compressed size
f4c5279bdd91	linux/amd64	410.81 MB

TAG

4.14.2-flambda

Last pushed over 1 year by erikmd

docker pull coqorg/base:4.14.2-flambda

Digest	OS/ARCH	Compressed size
98e64670bd04	linux/amd64	403.11 MB

TAG

4.09.1-flambda

Last pushed over 1 year by erikmd

docker pull coqorg/base:4.09.1-flambda

Digest	OS/ARCH	Compressed size
9805fb80f742	linux/amd64	352.77 MB

TAG

5.0.0-flambda

Last pushed over 1 year by erikmd

docker pull coqorg/base:5.0.0-flambda

Digest	OS/ARCH	Compressed size
f2f3c59b6fc5	linux/amd64	422.4 MB

TAG

4.13.1-flambda

Last pushed over 1 year by erikmd

docker pull coqorg/base:4.13.1-flambda

Digest	OS/ARCH	Compressed size
0b45da684567	linux/amd64	396.67 MB

TAG

4.02.3

Last pushed over 1 year by erikmd

docker pull coqorg/base:4.02.3

Digest	OS/ARCH	Compressed size
a1b1eacd078b	linux/amd64	343.72 MB

TAG

4.12.1-flambda

Last pushed over 1 year by erikmd

docker pull coqorg/base:4.12.1-flambda

Digest	OS/ARCH	Compressed size
fc345c070bd6	linux/amd64	392.51 MB

TAG

4.08.1-flambda

Last pushed over 1 year by erikmd

docker pull coqorg/base:4.08.1-flambda

Digest	OS/ARCH	Compressed size
bf3c7baed8fe	linux/amd64	356.04 MB

TAG

4.11.2-flambda

Last pushed over 1 year by erikmd

docker pull coqorg/base:4.11.2-flambda

Digest	OS/ARCH	Compressed size
a06a3a38d266	linux/amd64	387.97 MB

TAG

4.10.2-flambda

Last pushed over 1 year by erikmd

docker pull coqorg/base:4.10.2-flambda

Digest	OS/ARCH	Compressed size
206b4dc0f536	linux/amd64	360.56 MB

TAG

5.0.0

Last pushed over 1 year by erikmd

docker pull coqorg/base:5.0.0

Digest	OS/ARCH	Compressed size
09b1ceaebda7	linux/amd64	390.24 MB

TAG

4.13.1

Last pushed over 1 year by erikmd

docker pull coqorg/base:4.13.1

Digest	OS/ARCH	Compressed size
df96dbefe45d	linux/amd64	364.66 MB

TAG

bare

Last pushed over 1 year by erikmd

docker pull coqorg/base:bare

Digest	OS/ARCH	Compressed size
f1b4eb4053b8	linux/amd64	160.4 MB