Does not install with Coq 8.11
@tchajed I tried to install this with Coq 8.11 (via the opam file), but the build failed:
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+ /home/r/.opam/opam-init/hooks/sandbox.sh "build" "make" "-j8" (CWD=/home/r/Dokumente/Unisachen/iris/coq-users/examples/_opam/.opam-switch/build/coq-iris-string-ident.dev)
- "coq_makefile" -f _CoqProject -o Makefile.coq
- make[1]: Entering directory '/home/r/Dokumente/Unisachen/iris/coq-users/examples/_opam/.opam-switch/build/coq-iris-string-ident.dev'
- COQDEP VFILES
- COQC theories/ltac2_string_ident.v
- File "./theories/ltac2_string_ident.v", line 87, characters 38-46:
- Error:
- Constructor U.Lambda expects 3 arguments, but is applied to 2 arguments
-
- make[2]: *** [Makefile.coq:678: theories/ltac2_string_ident.vo] Error 1
- make[1]: *** [Makefile.coq:327: all] Error 2
- make[1]: Leaving directory '/home/r/Dokumente/Unisachen/iris/coq-users/examples/_opam/.opam-switch/build/coq-iris-string-ident.dev'
- make: *** [Makefile:6: all] Error 2
[ERROR] The compilation of coq-iris-string-ident failed at "/home/r/.opam/opam-init/hooks/sandbox.sh build make -j8".