diff options
| author | Enrico Tassi | 2020-11-26 10:10:04 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-11-26 11:26:59 +0100 |
| commit | f3f813a11ac70950d2f5938728bbb337d7873b44 (patch) | |
| tree | bac0317bf8c2c3bec7fb04d0de1d5b07a4a9b35b /dev/build | |
| parent | 02a04a2a98cc20c83f8465ab992e39ce4380f94e (diff) | |
[ci] bump elpi to 1.12.0
Diffstat (limited to 'dev/build')
| -rwxr-xr-x | dev/build/windows/makecoq_mingw.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh index 6cc91ace81..ebbf10f548 100755 --- a/dev/build/windows/makecoq_mingw.sh +++ b/dev/build/windows/makecoq_mingw.sh @@ -1200,7 +1200,7 @@ function make_elpi { make_dune make_re - if build_prep https://github.com/LPCIC/elpi/archive v1.11.4 tar.gz 1 elpi; then + if build_prep https://github.com/LPCIC/elpi/archive v1.12.0 tar.gz 1 elpi; then log2 dune build -p elpi log2 dune install elpi |