https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: 8bceccd0cf22999f88e5e30e1269c6153b519729 authored by Cécile BARITEL-RUET on 13 December 2017, 16:30:02 UTC
.
Tip revision: 8bceccd
Dockerfile
FROM easycryptpa/ec-build-box:latest

RUN \
	opam install -v easycrypt.dev && \
	rm -rf .opam/packages.dev/*
back to top