chore: update yalibs dependencies

CMakeLists.txt

@@ -20,7 +20,7 @@
 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 # SOFTWARE.
 cmake_minimum_required(VERSION 3.18)
-project(expr VERSION 3.0.5)
+project(expr VERSION 3.0.6)
 include(cmake/CPM.cmake)
 configure_file(src/config.h.in config.h)
 set(CMAKE_CXX_STANDARD 20)
@@ -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)