Skip to content

casadi: update packages - #4019

Merged
riseproject-dev[bot] merged 3 commits into
mainfrom
package/casadi
Oct 31, 2026
Merged

riseproject-dev[bot] merged 3 commits into
mainfrom
package/casadi

Commits

  1. Commits on Oct 29, 2026

  2. Commits on Oct 30, 2026