erikmd/coq-base

•Updated about 6 years ago

Image

353

Tags for erikmd/coq-base

Sort by

TAG

4.09.0-flambda

Last pushed about 6 years by erikmd

docker pull erikmd/coq-base:4.09.0-flambda

Digest	OS/ARCH	Compressed size
80209e559654	linux/amd64	296.18 MB

TAG

4.02.3

Last pushed about 6 years by erikmd

docker pull erikmd/coq-base:4.02.3

Digest	OS/ARCH	Compressed size
b7aa1b1308aa	linux/amd64	269.73 MB

TAG

latest

Last pushed about 6 years by erikmd

docker pull erikmd/coq-base:latest

Digest	OS/ARCH	Compressed size
6ecdcae687c9	linux/amd64	450.75 MB

TAG

4.09.1-flambda

Last pushed about 6 years by erikmd

docker pull erikmd/coq-base:4.09.1-flambda

Digest	OS/ARCH	Compressed size
d1851d2fb2b9	linux/amd64	298.57 MB

TAG

bare

Last pushed about 6 years by erikmd

docker pull erikmd/coq-base:bare

Digest	OS/ARCH	Compressed size
d1bc358aaaf5	linux/amd64	126.28 MB