rocq/base Tags | Docker Hub

docker

Hub

rocq/base

Sponsored OSS

By rocq

•Updated about 1 month ago

Parent image for Docker images of the Rocq Prover

Image

Languages & Frameworks

Integration & Delivery

755

Overview Tags

Sort by

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
be790de2b3b1	linux/amd64	367.88 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
0bbcdc196315	linux/amd64	367.88 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
751d7dad1eb8	linux/amd64	390.14 MB

TAG

coq_4.07.1-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.07.1-flambda

Digest	OS/ARCH	Compressed size
95f40b7f7711	linux/amd64	431.34 MB

TAG

rocq_4.09.1-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.09.1-flambda

Digest	OS/ARCH	Compressed size
8a2810eecdc7	linux/amd64	350.39 MB

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
d897806dc3d4	linux/amd64	420.04 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
7d560d98f8b5	linux/amd64	390.14 MB

TAG

coq_4.07.1

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.07.1

Digest	OS/ARCH	Compressed size
e1e71bf091ca	linux/amd64	408.45 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
0bfb99fc3acf	linux/amd64	400.74 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
b0f861686c03	linux/amd64	400.75 MB

TAG

coq_4.09.1-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.09.1-flambda

Digest	OS/ARCH	Compressed size
1a8a12e9d46d	linux/amd64	350.4 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
0f83d4fdf8a0	linux/amd64	420.04 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
7a14d8b38aa3	linux/amd64	385.6 MB

TAG

coq_4.08.1-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.08.1-flambda

Digest	OS/ARCH	Compressed size
e0ac371c671b	linux/amd64	353.68 MB

TAG

rocq_4.10.2-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.10.2-flambda

Digest	OS/ARCH	Compressed size
2948ae4edd50	linux/amd64	358.18 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
7dc5dd83d422	linux/amd64	394.31 MB

TAG

rocq_4.08.1-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.08.1-flambda

Digest	OS/ARCH	Compressed size
fca07f292cfe	linux/amd64	353.68 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
557362b1db07	linux/amd64	385.61 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
ed7c08f3d075	linux/amd64	394.3 MB

TAG

coq_4.10.2-flambda

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.10.2-flambda

Digest	OS/ARCH	Compressed size
0f77cb0b08d3	linux/amd64	358.19 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
2101eb0f23d2	linux/amd64	387.87 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
d42dfd1bf7b8	linux/amd64	387.87 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
44e233e3a7e8	linux/amd64	362.29 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
f4497f43cf64	linux/amd64	362.29 MB

TAG

rocq_bare

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_bare

Digest	OS/ARCH	Compressed size
29770148fdc1	linux/amd64	160.4 MB