Compilation of coq-quantumlib.1.1.0 failed

[IsolatedMy]

Hi. I want to set up VOQC locally. But I encounter the following error when I install the QuantumLib library.

$ opam install coq-quantumlib.1.1.0
The following actions will be performed:
  ∗ install coq-quantumlib 1.1.0

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved coq-quantumlib.1.1.0  (cached)
[ERROR] The compilation of coq-quantumlib.1.1.0 failed at "dune build -p coq-quantumlib -j 111 @install".

#=== ERROR while compiling coq-quantumlib.1.1.0 ===============================#
# context     2.1.2 | linux/x86_64 | ocaml-system.4.13.1 | https://coq.inria.fr/opam/released#2025-03-14 11:02
# path        ~/.opam/voqc/.opam-switch/build/coq-quantumlib.1.1.0
# command     ~/.opam/opam-init/hooks/sandbox.sh build dune build -p coq-quantumlib -j 111 @install
# exit-code   1
# env-file    ~/.opam/log/coq-quantumlib-67602-719333.env
# output-file ~/.opam/log/coq-quantumlib-67602-719333.out
### output ###
# Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
# 3.8 and will be removed in an upcoming Dune version.
# Hint: To disable this warning, add the following to your dune-project file:
# (warnings (deprecated_coq_lang_lt_08 disabled))
# (cd _build/default && /home/cmy/.opam/voqc/bin/coqc -q -I /home/cmy/.opam/voqc/lib/coq/../coq-core/plugins/btauto -I /home/cmy/.opam/voqc/lib/coq/../coq-core/plugins/cc -I /home/cmy/.opam/voqc/lib/coq/../coq-core/plugins/derive -I /home/cmy/.opam/voqc/lib/coq/../coq-core/plugins/extraction -I /home/cmy/.opam/voqc/lib/coq/../coq-core/plugins/firstorder -I /home/cmy/.opam/voqc/lib/coq/../coq-co[...]
# File "./Prelim.v", line 43, characters 38-54:
# Error: The variable beq_nat_true_iff was not found in the current
# environment.
# 



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build coq-quantumlib 1.1.0
└─ 
╶─ No changes have been performed

My opam version is 2.1.2 and package coq version is 8.20.1. I want to know where the beq_nat_true_iff mentioned in the error message comes from.