https://github.com/EasyCrypt/easycrypt
Revision 4a1ce0d5e0829f3629d16550309fe7a70d2b651b authored by François Dupressoir on 28 November 2021, 17:26:46 UTC, committed by Pierre-Yves Strub on 02 December 2021, 08:09:28 UTC
The original base was 5 months out of date. An issue in the build was
due to opam running as root.

The replacement base image is setup for opam to not run as root while
allowing passwordless sudo.
1 parent 2e815c5
History
Tip revision: 4a1ce0d5e0829f3629d16550309fe7a70d2b651b authored by François Dupressoir on 28 November 2021, 17:26:46 UTC
[docker] Build box base is now an opam image
Tip revision: 4a1ce0d
File Mode Size
.github
config
examples
lint
scripts
src
theories
.dir-locals.el -rw-r--r-- 285 bytes
.gitignore -rw-r--r-- 118 bytes
COPYRIGHT -rw-r--r-- 581 bytes
COPYRIGHT.yaml -rw-r--r-- 894 bytes
Makefile -rw-r--r-- 1.3 KB
README.md -rw-r--r-- 7.5 KB
default.nix -rw-r--r-- 494 bytes
dune -rw-r--r-- 116 bytes
dune-project -rw-r--r-- 359 bytes
easycrypt.opam -rw-r--r-- 1.2 KB
easycrypt.opam.template -rw-r--r-- 896 bytes
easycrypt.png -rw-r--r-- 182.6 KB

README.md

back to top