Sign inSign up

appliedfm/coq

By appliedfm

•Updated over 4 years ago

Image
1

152

Tags for appliedfm/coq

Sort by

TAG

8.13.2-ocaml-4.12.0-flambda

Last pushed over 4 years by tcarstens

docker pull appliedfm/coq:8.13.2-ocaml-4.12.0-flambda
DigestOS/ARCHCompressed size

76a29c90f348

linux/amd64

1.01 GB

TAG

8.14.1-ocaml-4.12.0-flambda

Last pushed over 4 years by tcarstens

docker pull appliedfm/coq:8.14.1-ocaml-4.12.0-flambda
DigestOS/ARCHCompressed size

8714f5af81b1

linux/amd64

1.18 GB

TAG

8.15.0-ocaml-4.12.0-flambda

Last pushed over 4 years by tcarstens

docker pull appliedfm/coq:8.15.0-ocaml-4.12.0-flambda
DigestOS/ARCHCompressed size

86e47e4e20a2

linux/amd64

1.04 GB