chore: update yalibs dependencies

sillydan1 · Jul 9, 2024 · 31877de · 31877de
1 parent 7df4f9b
commit 31877de
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -31,12 +31,12 @@ option(ENABLE_Z3 "Enables the download and compilation of the expr::z3_driver dr
 
 # DEPENDENCIES
 # library dependencies
-CPMAddPackage("gh:yalibs/[email protected].0")
-CPMAddPackage("gh:yalibs/[email protected].0")
-CPMAddPackage("gh:yalibs/[email protected].2")
-CPMAddPackage("gh:yalibs/[email protected].1")
+CPMAddPackage("gh:yalibs/[email protected].1")
+CPMAddPackage("gh:yalibs/[email protected].1")
+CPMAddPackage("gh:yalibs/[email protected].3")
+CPMAddPackage("gh:yalibs/[email protected].2")
 # demo dependencies
-CPMAddPackage("gh:yalibs/[email protected].0")
+CPMAddPackage("gh:yalibs/[email protected].1")
 CPMAddPackage("gh:sillydan1/[email protected]")
 
 if(ENABLE_Z3)