avsm/docker-opam-coq-build

•Updated almost 11 years ago

Image

526

avsm/docker-opam-coq-build repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:8db4ed6c6…

Size

393.3 MB

Last updated

almost 11 years ago

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