Skip to main content
Revision 1e6d420bd53a6b8d0c563c9c35ab0aa266daff04 authored by Cameron Low on 04 September 2023, 15:38:51 UTC, committed by Cameron Low on 04 September 2023, 15:38:51 UTC
No argument proc typing
1 parent 46d6948
Raw File Download
Dockerfile
FROM ghcr.io/easycrypt/ec-build-box:latest

ARG SOURCE_BRANCH=r2022.04

RUN \
	opam pin --dev-repo add -n easycrypt https://github.com/EasyCrypt/easycrypt.git#${SOURCE_BRANCH} && \
	opam install -v easycrypt && \
	rm -rf .opam/packages.dev/*