../ casadi-3.0.0-2.el7.centos.src.rpm 17-Oct-2026 09:07 3.8 MB casadi-3.0.0-2.el7.centos.x86_64.rpm 17-Oct-2026 09:07 3.1 MB casadi-debuginfo-3.0.0-2.el7.centos.x86_64.rpm 17-Oct-2026 09:07 231.4 kB