diff options
| author | Thomas Letan <lthms@soap.coffee> | 2022-11-19 12:24:50 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2022-11-19 12:24:50 +0100 |
| commit | e3c7c37c8ff3b53fc63a1e7677fb4b6d99d8590b (patch) | |
| tree | 33092faad96b320166e9f4e9692b66facc80928e /dependencies.mk | |
| parent | Website reorg (diff) | |
Update soupault, crunch png, update avatar
Diffstat (limited to 'dependencies.mk')
| -rw-r--r-- | dependencies.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dependencies.mk b/dependencies.mk index 0e6d046..509677f 100644 --- a/dependencies.mk +++ b/dependencies.mk @@ -5,7 +5,7 @@ _opam/init : @pretty-echo.sh "Creating" "a local Opam switch" @opam switch create . ${OCAML} --repos default,coq-released || true @pretty-echo.sh "Installing" "OCaml dependencies" - @opam install dune.2.9.0 coq-coqffi.1.0.0~beta7 coq-simple-io.1.5.0 soupault.4.0.1 coq.8.13.2 coq-compcert.3.8 coq-serapi -y + @opam install dune.2.9.0 coq-coqffi.1.0.0~beta7 coq-simple-io.1.5.0 soupault.4.2.0 coq.8.13.2 coq-compcert.3.8 coq-serapi -y @touch $@ CONFIGURE += _opam |