Skip to content

casadi: Add version 3.8.1 - #1956

Merged
luhenry merged 5 commits into
mainfrom
github-actions/nightly-upgrade/casadi
Sep 21, 2026
Merged

luhenry merged 5 commits into
mainfrom
github-actions/nightly-upgrade/casadi