rocq/base

Tags for rocq/base

Sort by

TAG

rocq_4.12.1-flambda

Last pushed 22 days by erikmd

docker pull rocq/base:rocq_4.12.1-flambda

Digest	OS/ARCH	Compressed size
e53f38b9d312	linux/amd64	390.41 MB

TAG

coq_4.11.2-flambda

Last pushed 22 days by erikmd

docker pull rocq/base:coq_4.11.2-flambda

Digest	OS/ARCH	Compressed size
02edffeacf52	linux/amd64	385.87 MB

TAG

rocq_5.0.0-flambda

Last pushed 22 days by erikmd

docker pull rocq/base:rocq_5.0.0-flambda

Digest	OS/ARCH	Compressed size
a4dcf6c9166a	linux/amd64	420.13 MB

TAG

coq_5.0.0-flambda

Last pushed 22 days by erikmd

docker pull rocq/base:coq_5.0.0-flambda

Digest	OS/ARCH	Compressed size
4de70af805a7	linux/amd64	420.13 MB

TAG

coq_4.14.2-flambda

Last pushed 22 days by erikmd

docker pull rocq/base:coq_4.14.2-flambda

Digest	OS/ARCH	Compressed size
1aee0e705079	linux/amd64	400.81 MB

TAG

rocq_5.0.0

Last pushed 22 days by erikmd

docker pull rocq/base:rocq_5.0.0

Digest	OS/ARCH	Compressed size
2e64ed17e408	linux/amd64	387.66 MB

TAG

coq_5.0.0

Last pushed 22 days by erikmd

docker pull rocq/base:coq_5.0.0

Digest	OS/ARCH	Compressed size
c2a5698bb926	linux/amd64	387.66 MB

TAG

coq_4.13.1

Last pushed 22 days by erikmd

docker pull rocq/base:coq_4.13.1

Digest	OS/ARCH	Compressed size
8fd751330efb	linux/amd64	362.07 MB

TAG

rocq_4.13.1

Last pushed 22 days by erikmd

docker pull rocq/base:rocq_4.13.1

Digest	OS/ARCH	Compressed size
85592074ef2e	linux/amd64	362.06 MB

TAG

coq_4.14.2

Last pushed 22 days by erikmd

docker pull rocq/base:coq_4.14.2

Digest	OS/ARCH	Compressed size
e5acf614bb5a	linux/amd64	367.65 MB

TAG

rocq_4.14.2

Last pushed 22 days by erikmd

docker pull rocq/base:rocq_4.14.2

Digest	OS/ARCH	Compressed size
473e827e521b	linux/amd64	367.64 MB

TAG

rocq_4.11.2-flambda

Last pushed 22 days by erikmd

docker pull rocq/base:rocq_4.11.2-flambda

Digest	OS/ARCH	Compressed size
28615eb9d86b	linux/amd64	385.86 MB

TAG

rocq_4.13.1-flambda

Last pushed 22 days by erikmd

docker pull rocq/base:rocq_4.13.1-flambda

Digest	OS/ARCH	Compressed size
e7e4020dec01	linux/amd64	394.36 MB

TAG

rocq_4.14.2-flambda

Last pushed 22 days by erikmd

docker pull rocq/base:rocq_4.14.2-flambda

Digest	OS/ARCH	Compressed size
c8b2605a440c	linux/amd64	400.81 MB

TAG

coq_4.12.1-flambda

Last pushed 22 days by erikmd

docker pull rocq/base:coq_4.12.1-flambda

Digest	OS/ARCH	Compressed size
01890d8df861	linux/amd64	390.42 MB

TAG

coq_4.13.1-flambda

Last pushed 22 days by erikmd

docker pull rocq/base:coq_4.13.1-flambda

Digest	OS/ARCH	Compressed size
fbc264bfbe8c	linux/amd64	394.36 MB

TAG

coq_bare

Last pushed 22 days by erikmd

docker pull rocq/base:coq_bare

Digest	OS/ARCH	Compressed size
0e4f4ccb13eb	linux/amd64	160.43 MB

TAG

rocq_bare

Last pushed 22 days by erikmd

docker pull rocq/base:rocq_bare

Digest	OS/ARCH	Compressed size
8f00db29a8e1	linux/amd64	160.43 MB

TAG

coq_4.07.1-flambda

Last pushed 6 months by erikmd

docker pull rocq/base:coq_4.07.1-flambda

Digest	OS/ARCH	Compressed size
43194ac79f4d	linux/amd64	429.59 MB

TAG

coq_4.07.1

Last pushed 6 months by erikmd

docker pull rocq/base:coq_4.07.1

Digest	OS/ARCH	Compressed size
88278a3b8395	linux/amd64	406.68 MB

TAG

coq_4.09.1-flambda

Last pushed 6 months by erikmd

docker pull rocq/base:coq_4.09.1-flambda

Digest	OS/ARCH	Compressed size
e03e40d9bae7	linux/amd64	348.64 MB

TAG

coq_4.08.1-flambda

Last pushed 6 months by erikmd

docker pull rocq/base:coq_4.08.1-flambda

Digest	OS/ARCH	Compressed size
9f143647f80c	linux/amd64	351.92 MB

TAG

rocq_4.09.1-flambda

Last pushed 6 months by erikmd

docker pull rocq/base:rocq_4.09.1-flambda

Digest	OS/ARCH	Compressed size
d3c5dcc37e8f	linux/amd64	348.63 MB

TAG

rocq_4.08.1-flambda

Last pushed 6 months by erikmd

docker pull rocq/base:rocq_4.08.1-flambda

Digest	OS/ARCH	Compressed size
68c49961bb31	linux/amd64	351.91 MB

TAG

rocq_4.10.2-flambda

Last pushed 6 months by erikmd

docker pull rocq/base:rocq_4.10.2-flambda

Digest	OS/ARCH	Compressed size
c9482a58f3a4	linux/amd64	356.43 MB