From e43d9565657ca1b56ccfa55a125a8a610caac5cb Mon Sep 17 00:00:00 2001
From: Romain Tetley <romain.tetley@inria.fr>
Date: Tue, 31 Oct 2023 16:17:20 +0100
Subject: [PATCH] New dpdgraph version

---
 package_picks/package-pick-8.18+beta1.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package_picks/package-pick-8.18+beta1.sh b/package_picks/package-pick-8.18+beta1.sh
index 079cbf7d53..8a746a504e 100644
--- a/package_picks/package-pick-8.18+beta1.sh
+++ b/package_picks/package-pick-8.18+beta1.sh
@@ -172,7 +172,7 @@ then
   esac
 
   # # Proof analysis and other tools
-  #PACKAGES="${PACKAGES} coq-dpdgraph.1.0+8.17" # does not build even after relaxing version constraints
+  PACKAGES="${PACKAGES} coq-dpdgraph.1.0+8.18" # does not build even after relaxing version constraints
 fi
 
 ########## EXTENDED" COQ PLATFORM PACKAGES ##########