Help

System theme

Docker Suite

rocq/base

Sponsored OSS

•Updated about 8 hours ago

Parent image for Docker images of the Rocq Prover

Image

Languages & frameworks

Integration & delivery

1

10K+

Tags for rocq/base

Sort by

TAG

rocq_5.4.1-flambda

Last pushed about 8 hours by justme06

docker pull rocq/base:rocq_5.4.1-flambda

Digest	OS/ARCH	Compressed size
a1c4aa1140fa	linux/amd64	351.91 MB

TAG

Last pushed about 8 hours by justme06

docker pull rocq/base:rocq_5.4.1

Digest	OS/ARCH	Compressed size
bcec28d72980	linux/amd64	321.52 MB

TAG

coq_5.3.0-flambda

Last pushed about 12 hours by justme06

docker pull rocq/base:coq_5.3.0-flambda

Digest	OS/ARCH	Compressed size
eb757b03c4c8	linux/amd64	365.34 MB

TAG

rocq_5.3.0-flambda

Last pushed about 12 hours by justme06

docker pull rocq/base:rocq_5.3.0-flambda

Digest	OS/ARCH	Compressed size
bd14758781b0	linux/amd64	344.7 MB

TAG

Last pushed about 12 hours by justme06

docker pull rocq/base:coq_5.3.0

Digest	OS/ARCH	Compressed size
3b25004b6ea9	linux/amd64	335.65 MB

TAG

Last pushed about 12 hours by justme06

docker pull rocq/base:rocq_5.3.0

Digest	OS/ARCH	Compressed size
012067845ae0	linux/amd64	315.08 MB

TAG

coq_4.12.1-flambda

Last pushed about 15 hours by justme06

docker pull rocq/base:coq_4.12.1-flambda

Digest	OS/ARCH	Compressed size
91ade8edd42f	linux/amd64	411.63 MB

TAG

coq_4.14.2-flambda

Last pushed about 15 hours by justme06

docker pull rocq/base:coq_4.14.2-flambda

Digest	OS/ARCH	Compressed size
4c1970ccab40	linux/amd64	421.86 MB

TAG

coq_5.0.0-flambda

Last pushed about 15 hours by justme06

docker pull rocq/base:coq_5.0.0-flambda

Digest	OS/ARCH	Compressed size
8d6bfa4c186b	linux/amd64	441.28 MB

TAG

rocq_5.0.0-flambda

Last pushed about 15 hours by justme06

docker pull rocq/base:rocq_5.0.0-flambda

Digest	OS/ARCH	Compressed size
e31ef9fb849b	linux/amd64	420.59 MB

TAG

coq_4.13.1-flambda

Last pushed about 15 hours by justme06

docker pull rocq/base:coq_4.13.1-flambda

Digest	OS/ARCH	Compressed size
1e59e5f9acda	linux/amd64	415.41 MB

TAG

rocq_4.13.1-flambda

Last pushed about 15 hours by justme06

docker pull rocq/base:rocq_4.13.1-flambda

Digest	OS/ARCH	Compressed size
e3698f5524d1	linux/amd64	394.82 MB

TAG

rocq_4.11.2-flambda

Last pushed about 15 hours by justme06

docker pull rocq/base:rocq_4.11.2-flambda

Digest	OS/ARCH	Compressed size
0a32a75145c0	linux/amd64	386.32 MB

TAG

Last pushed about 15 hours by justme06

docker pull rocq/base:coq_5.0.0

Digest	OS/ARCH	Compressed size
1daf43da73e8	linux/amd64	408.9 MB

TAG

rocq_4.14.2-flambda

Last pushed about 15 hours by justme06

docker pull rocq/base:rocq_4.14.2-flambda

Digest	OS/ARCH	Compressed size
9f5afbb86d87	linux/amd64	401.26 MB

TAG

coq_4.11.2-flambda

Last pushed about 15 hours by justme06

docker pull rocq/base:coq_4.11.2-flambda

Digest	OS/ARCH	Compressed size
fb3fdca6731d	linux/amd64	406.98 MB

TAG

rocq_4.12.1-flambda

Last pushed about 15 hours by justme06

docker pull rocq/base:rocq_4.12.1-flambda

Digest	OS/ARCH	Compressed size
3f93ccc17cbe	linux/amd64	390.87 MB

TAG

Last pushed about 15 hours by justme06

docker pull rocq/base:coq_4.13.1

Digest	OS/ARCH	Compressed size
7cc59904f1ac	linux/amd64	383.31 MB

TAG

Last pushed about 15 hours by justme06

docker pull rocq/base:rocq_5.0.0

Digest	OS/ARCH	Compressed size
33fd184d2d2d	linux/amd64	388.12 MB

TAG

Last pushed about 15 hours by justme06

docker pull rocq/base:coq_4.14.2

Digest	OS/ARCH	Compressed size
8596bcca6249	linux/amd64	388.7 MB

TAG

Last pushed about 15 hours by justme06

docker pull rocq/base:rocq_4.13.1

Digest	OS/ARCH	Compressed size
80b6644717e3	linux/amd64	362.52 MB

TAG

Last pushed about 15 hours by justme06

docker pull rocq/base:rocq_4.14.2

Digest	OS/ARCH	Compressed size
176bc0eb3971	linux/amd64	368.1 MB

TAG

Last pushed about 15 hours by justme06

docker pull rocq/base:coq_bare

Digest	OS/ARCH	Compressed size
ee673c73d4fb	linux/amd64	160.46 MB

TAG

Last pushed about 15 hours by justme06

docker pull rocq/base:rocq_bare

Digest	OS/ARCH	Compressed size
b324170e37b3	linux/amd64	160.46 MB