Skip to main content

Browse the archive

Raw File
Dockerfile 
FROM easycryptpa/ec-build-box:latest

RUN \
	opam pin add -n easycrypt https://github.com/EasyCrypt/easycrypt.git#BRANCH && \
	opam install easycrypt.dev && \
	rm -rf .opam/packages.dev/*
back to top