From 4556bab7c22243fcf3ea1a16cbb8264d0bf6700d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Tue, 21 Jan 2025 15:20:47 +0100
Subject: [PATCH] update reproduce

---
 reproduce | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/reproduce b/reproduce
index 493d402..d2bc3a1 100755
--- a/reproduce
+++ b/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