coq-stdpp 1.6.0 does not compile with Coq 8.14.1 under OCaml 4.13.0
Is stdpp
1.6.0 known to work under Coq 8.14.1?
opam install coq-stdpp
fails.
Attempting to run make
manually shows that the command COQTEST tests/gmap.v (ref: tests/gmap.ref)
fails. It produces a large diff that seems to contain exception backtraces. A log is attached.log.txt