Merge pull request #384 from rtetley/dpdgraph

New dpdgraph version
coq · Nov 2, 2023 · 5982975 · 5982975
2 parents 06e5e16 + e43d956
commit 5982975
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 ##########