Stack overflow
I try to install coq interval with opam with coq-native (the version of coq is 8.15.2) The error message is
# File "./src/Tactic.v", line 22, characters 0-42:
# Warning:
# New coercion path [real; Finite] : Rbar >-> Rbar is not definitionally an identity function.
# [ambiguous-paths,typechecker]
# Fatal error: exception Stack overflow
# Error: Native compiler exited with status 2 (in case of stack overflow,
# increasing stack size (typicaly with "ulimit -s") often helps)
is it a known problem?