Skip to content

casadi: update packages - #4232

Merged
riseproject-dev[bot] merged 1 commit into
mainfrom
package/casadi
Nov 1, 2026
Merged

riseproject-dev[bot] merged 1 commit into
mainfrom
package/casadi

Commits

  1. Commits on Nov 1, 2026