update reproduce

reproduce

@@ -4,14 +4,14 @@ set -e # to exit as soon as there is an error
 
 hollight_version=3.0.0 # for dependencies
 hollight_commit=28e4aed
-hol2dk_commit=600c94e
-lambdapi_commit=ccfa0e77
+hol2dk_commit=7eb6a02
+lambdapi_commit=21ee7f3d
 
 opam_version=2.2.1
 dune_version=3.17.1
 ocaml_version=5.2.1
 camlp5_version=8.03.01
-coq_version=8.20.0
+coq_version=8.20.1
 
 base=hol_upto_real
 dump_simp_option=-before-hol
@@ -170,6 +170,7 @@ then
 fi
 
 stage 1 create_opam_switch
+eval `opam env`
 stage 2 install_hol_light_deps
 stage 3 install_lambdapi
 stage 4 install_coq