This image provides the build environment for eldesh/coq-refman-ja.
As a result of build, you will get an output like the following the page:
Content type
Image
Digest
Size
585 MB
Last updated
almost 5 years ago
docker pull eldesh/coq-refman-ja-builder:1.0.0