Guilhem Saurel 141759de4e casadi: 3.7.1 -> 3.7.2 ...

Diff: https://github.com/casadi/casadi/compare/3.7.1...3.7.2

Changelog: https://github.com/casadi/casadi/releases/tag/3.7.2

2025-10-01 09:54:31 +02:00

..

package.nix

casadi: 3.7.1 -> 3.7.2

2025-10-01 09:54:31 +02:00