rocq/rocq-prover

Tags for rocq/rocq-prover

Sort by

TAG

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-native-flambda

Digest	OS/ARCH	Compressed size
a3efb665bfa8	linux/amd64	1.51 GB

TAG

dev-native-ocaml-4.14-flambda

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-native-ocaml-4.14-flambda

Digest	OS/ARCH	Compressed size
a3efb665bfa8	linux/amd64	1.51 GB

TAG

dev-native-ocaml-4.14.2-flambda

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-native-ocaml-4.14.2-flambda

Digest	OS/ARCH	Compressed size
a3efb665bfa8	linux/amd64	1.51 GB

TAG

dev-native-ocaml-5.4-flambda

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-native-ocaml-5.4-flambda

Digest	OS/ARCH	Compressed size
823854eb82fc	linux/amd64	1.43 GB

TAG

dev-native-ocaml-5.4.1-flambda

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-native-ocaml-5.4.1-flambda

Digest	OS/ARCH	Compressed size
823854eb82fc	linux/amd64	1.43 GB

TAG

dev-ocaml-5.4-flambda

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-ocaml-5.4-flambda

Digest	OS/ARCH	Compressed size
9ece6a7edff2	linux/amd64	1.39 GB

TAG

dev-ocaml-5.4.1-flambda

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-ocaml-5.4.1-flambda

Digest	OS/ARCH	Compressed size
9ece6a7edff2	linux/amd64	1.39 GB

TAG

dev-native-ocaml-5.4

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-native-ocaml-5.4

Digest	OS/ARCH	Compressed size
4ba9c50d3f73	linux/amd64	1.23 GB

TAG

dev-native-ocaml-5.4.1

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-native-ocaml-5.4.1

Digest	OS/ARCH	Compressed size
4ba9c50d3f73	linux/amd64	1.23 GB

TAG

dev-native

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-native

Digest	OS/ARCH	Compressed size
d3d0bbe02101	linux/amd64	1.31 GB

TAG

dev-native-ocaml-4.14

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-native-ocaml-4.14

Digest	OS/ARCH	Compressed size
d3d0bbe02101	linux/amd64	1.31 GB

TAG

dev-native-ocaml-4.14.2

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-native-ocaml-4.14.2

Digest	OS/ARCH	Compressed size
d3d0bbe02101	linux/amd64	1.31 GB

TAG

dev

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev

Digest	OS/ARCH	Compressed size
1ade79f83862	linux/amd64	1.47 GB

TAG

dev-ocaml-4.14-flambda

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-ocaml-4.14-flambda

Digest	OS/ARCH	Compressed size
1ade79f83862	linux/amd64	1.47 GB

TAG

dev-ocaml-4.14.2-flambda

Last pushed about 4 hours by justme06

docker pull rocq/rocq-prover:dev-ocaml-4.14.2-flambda

Digest	OS/ARCH	Compressed size
1ade79f83862	linux/amd64	1.47 GB

TAG

latest-native-ocaml-5.4-flambda

Last pushed 8 days by justme06

docker pull rocq/rocq-prover:latest-native-ocaml-5.4-flambda

Digest	OS/ARCH	Compressed size
77c6a3863b35	linux/amd64	1 GB

TAG

9.3-native-ocaml-5.4-flambda

Last pushed 8 days by justme06

docker pull rocq/rocq-prover:9.3-native-ocaml-5.4-flambda

Digest	OS/ARCH	Compressed size
77c6a3863b35	linux/amd64	1 GB

TAG

9.3.0-native-ocaml-5.4.1-flambda

Last pushed 8 days by justme06

docker pull rocq/rocq-prover:9.3.0-native-ocaml-5.4.1-flambda

Digest	OS/ARCH	Compressed size
77c6a3863b35	linux/amd64	1 GB

TAG

latest-ocaml-5.4-flambda

Last pushed 8 days by justme06

docker pull rocq/rocq-prover:latest-ocaml-5.4-flambda

Digest	OS/ARCH	Compressed size
422fe43e02a4	linux/amd64	978.71 MB

TAG

9.3-ocaml-5.4-flambda

Last pushed 8 days by justme06

docker pull rocq/rocq-prover:9.3-ocaml-5.4-flambda

Digest	OS/ARCH	Compressed size
422fe43e02a4	linux/amd64	978.71 MB

TAG

9.3.0-ocaml-5.4.1-flambda

Last pushed 8 days by justme06

docker pull rocq/rocq-prover:9.3.0-ocaml-5.4.1-flambda

Digest	OS/ARCH	Compressed size
422fe43e02a4	linux/amd64	978.71 MB

TAG

latest-native-ocaml-5.4

Last pushed 8 days by justme06

docker pull rocq/rocq-prover:latest-native-ocaml-5.4

Digest	OS/ARCH	Compressed size
7fa3c0090bc3	linux/amd64	820.07 MB

TAG

9.3-native-ocaml-5.4

Last pushed 8 days by justme06

docker pull rocq/rocq-prover:9.3-native-ocaml-5.4

Digest	OS/ARCH	Compressed size
7fa3c0090bc3	linux/amd64	820.07 MB

TAG

9.3.0-native-ocaml-5.4.1

Last pushed 8 days by justme06

docker pull rocq/rocq-prover:9.3.0-native-ocaml-5.4.1

Digest	OS/ARCH	Compressed size
7fa3c0090bc3	linux/amd64	820.07 MB

TAG

latest-native-flambda

Last pushed 8 days by justme06

docker pull rocq/rocq-prover:latest-native-flambda

Digest	OS/ARCH	Compressed size
2ae739e6e0de	linux/amd64	1.08 GB