rocq/rocq-prover

Tags for rocq/rocq-prover

Sort by

TAG

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
4508924c733d	linux/amd64	1.51 GB

TAG

dev-native-ocaml-4.14-flambda

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
4508924c733d	linux/amd64	1.51 GB

TAG

dev-native-ocaml-4.14.2-flambda

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
4508924c733d	linux/amd64	1.51 GB

TAG

dev-native-ocaml-5.4-flambda

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
06f4a8a26985	linux/amd64	1.44 GB

TAG

dev-native-ocaml-5.4.1-flambda

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
06f4a8a26985	linux/amd64	1.44 GB

TAG

dev-ocaml-5.4-flambda

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
26234966418a	linux/amd64	1.39 GB

TAG

dev-ocaml-5.4.1-flambda

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
26234966418a	linux/amd64	1.39 GB

TAG

dev-native-ocaml-5.4

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
dd16a48b31b9	linux/amd64	1.23 GB

TAG

dev-native-ocaml-5.4.1

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
dd16a48b31b9	linux/amd64	1.23 GB

TAG

dev

Last pushed about 7 hours by justme06

docker pull rocq/rocq-prover:dev

Digest	OS/ARCH	Compressed size
8172876052a6	linux/amd64	1.47 GB

TAG

dev-ocaml-4.14-flambda

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
8172876052a6	linux/amd64	1.47 GB

TAG

dev-ocaml-4.14.2-flambda

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
8172876052a6	linux/amd64	1.47 GB

TAG

dev-native

Last pushed about 7 hours by justme06

docker pull rocq/rocq-prover:dev-native

Digest	OS/ARCH	Compressed size
36b9dde087ea	linux/amd64	1.31 GB

TAG

dev-native-ocaml-4.14

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
36b9dde087ea	linux/amd64	1.31 GB

TAG

dev-native-ocaml-4.14.2

Last pushed about 7 hours by justme06

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

Digest	OS/ARCH	Compressed size
36b9dde087ea	linux/amd64	1.31 GB

TAG

latest-native-ocaml-5.4-flambda

Last pushed 9 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 9 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 9 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 9 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 9 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 9 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 9 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 9 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 9 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 10 days by justme06

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

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