rocq/base

Tags for rocq/base

Sort by

TAG

coq_5.0.0-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_5.0.0-flambda

Digest	OS/ARCH	Compressed size
426ea80b2548	linux/amd64	419.62 MB

TAG

coq_4.14.2-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.14.2-flambda

Digest	OS/ARCH	Compressed size
2a133a4aa521	linux/amd64	400.29 MB

TAG

rocq_4.11.2-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.11.2-flambda

Digest	OS/ARCH	Compressed size
8e04b5ec78ca	linux/amd64	385.35 MB

TAG

rocq_4.12.1-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.12.1-flambda

Digest	OS/ARCH	Compressed size
cda934ecce63	linux/amd64	389.9 MB

TAG

rocq_4.14.2-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.14.2-flambda

Digest	OS/ARCH	Compressed size
669633a7f76b	linux/amd64	400.29 MB

TAG

coq_4.11.2-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.11.2-flambda

Digest	OS/ARCH	Compressed size
64a713bae93d	linux/amd64	385.35 MB

TAG

coq_4.13.1-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.13.1-flambda

Digest	OS/ARCH	Compressed size
2c87e85d9693	linux/amd64	393.85 MB

TAG

coq_4.12.1-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.12.1-flambda

Digest	OS/ARCH	Compressed size
629825d78b02	linux/amd64	389.91 MB

TAG

rocq_4.13.1-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.13.1-flambda

Digest	OS/ARCH	Compressed size
a0810b2856ad	linux/amd64	393.84 MB

TAG

rocq_4.13.1

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.13.1

Digest	OS/ARCH	Compressed size
87272a8ff4c2	linux/amd64	361.55 MB

TAG

rocq_5.0.0

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_5.0.0

Digest	OS/ARCH	Compressed size
cdccc0466d95	linux/amd64	387.15 MB

TAG

coq_5.0.0

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_5.0.0

Digest	OS/ARCH	Compressed size
f0716857a12f	linux/amd64	387.14 MB

TAG

rocq_4.14.2

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.14.2

Digest	OS/ARCH	Compressed size
134b5aac76f0	linux/amd64	367.13 MB

TAG

coq_4.14.2

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.14.2

Digest	OS/ARCH	Compressed size
747977ec549b	linux/amd64	367.14 MB

TAG

rocq_5.0.0-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_5.0.0-flambda

Digest	OS/ARCH	Compressed size
0dbd2c51c55e	linux/amd64	419.61 MB

TAG

coq_4.13.1

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.13.1

Digest	OS/ARCH	Compressed size
9d59eb46608d	linux/amd64	361.55 MB

TAG

rocq_bare

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_bare

Digest	OS/ARCH	Compressed size
9c7f3f1842b6	linux/amd64	160.41 MB

TAG

coq_bare

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_bare

Digest	OS/ARCH	Compressed size
3365a2ac30ad	linux/amd64	160.41 MB

TAG

coq_4.07.1-flambda

Last pushed 4 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 4 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 4 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 4 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 4 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 4 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 4 months by erikmd

docker pull rocq/base:rocq_4.10.2-flambda

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