swh:1:snp:a9ad9db76f3bcf80967da2f1daef656b759b09e1
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
Tip revision: 6890aca5dcc23cc7e7552b52224bbbbe21b9a0af authored by Benjamin Gregoire on 04 February 2023, 10:56:31 UTC
fix small bug in reduction of projection
fix small bug in reduction of projection
Tip revision: 6890aca
| 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 |
Computing file changes ...
