From fa3ade239d55ef06ac18971fc2edf1fae9440132 Mon Sep 17 00:00:00 2001
From: Joris Gillis <joris@yacoda.com>
Date: Sat, 19 Oct 2024 20:31:25 +0000
Subject: [PATCH] [casadi] x-add-version

---
 versions/c-/casadi.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/versions/c-/casadi.json b/versions/c-/casadi.json
index 072db7cc904ae6..29069cf1e3cf0d 100644
--- a/versions/c-/casadi.json
+++ b/versions/c-/casadi.json
@@ -1,7 +1,7 @@
 {
   "versions": [
     {
-      "git-tree": "7a6924291ffc11b90cfc206458e62fc85f9e6ca7",
+      "git-tree": "6b25142bfbafea806385bb147d6d67bbe5a77d8d",
       "version": "3.6.7",
       "port-version": 0
     }