okuisatoshi/coq-docker-sing:latest

$ singularity pull shub://okuisatoshi/coq-docker-sing:latest

Singularity Recipe

Bootstrap:docker
From: ubuntu:18.04

%post
apt-get update && \
apt-get install -y coq libssreflect-coq proofgeneral emacs25-nox git curl wget emacs-mozc &&\
apt-get clean

%files

./init.el /init.el

%runscript
emacs -nw -q -l /init.el "$@"

Collection

• Name: okuisatoshi/coq-docker-sing
• License: None

Metrics

Feedback

Was this page helpful?

Glad to hear it! Please tell us how we can improve.

Sorry to hear that. Please tell us how we can improve.