avsm/docker-opam-coq-build

•Updated almost 11 years ago

Image

525

Tags for avsm/docker-opam-coq-build

Sort by

TAG

ubuntu-14.04-ocaml-4.02.1

Last pushed almost 11 years by avsm

docker pull avsm/docker-opam-coq-build:ubuntu-14.04-ocaml-4.02.1

Digest	OS/ARCH	Compressed size
8db4ed6c6ec4	amd64	475.47 MB

TAG

centos-7-ocaml-4.02.1

Last pushed almost 11 years by avsm

docker pull avsm/docker-opam-coq-build:centos-7-ocaml-4.02.1

Digest	OS/ARCH	Compressed size
c96f4e58a20e	amd64	724.43 MB

TAG

debian-stable-ocaml-4.01.0

Last pushed almost 11 years by avsm

docker pull avsm/docker-opam-coq-build:debian-stable-ocaml-4.01.0

Digest	OS/ARCH	Compressed size
4473c53c5fbc	amd64	560.36 MB