adsun [1] filed a orphan request for casadi [2]: Version 3.4.5 is out, but the package has not been updated for over 2 years. [1] https://aur.archlinux.org/account/adsun/ [2] https://aur.archlinux.org/pkgbase/casadi/