Sign inSign up

cuihtlauac/ocaml-devcontainer-rocq

By cuihtlauac

•Updated 4 months ago

Image
0

2.0K

Tags for cuihtlauac/ocaml-devcontainer-rocq

Sort by

TAG

latest

Last pushed 4 months by cuihtlauac

docker pull cuihtlauac/ocaml-devcontainer-rocq:latest
DigestOS/ARCHCompressed size

995469f10c6a

linux/amd64

1.77 GB

915f7926a2f8

linux/arm64

1.78 GB

TAG

latest-arm64

Last pushed 4 months by cuihtlauac

docker pull cuihtlauac/ocaml-devcontainer-rocq:latest-arm64
DigestOS/ARCHCompressed size

915f7926a2f8

linux/arm64

1.78 GB

TAG

latest-amd64

Last pushed 4 months by cuihtlauac

docker pull cuihtlauac/ocaml-devcontainer-rocq:latest-amd64
DigestOS/ARCHCompressed size

995469f10c6a

linux/amd64

1.77 GB