nielsvd [1] filed a orphan request for casadi [2]: Casadi 3.0 is out for a while now. If package needs new maintainer, I'm willing to volunteer. [1] https://aur.archlinux.org/account/nielsvd/ [2] https://aur.archlinux.org/pkgbase/casadi/