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
     }