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/
Request #5978 has been rejected by Dragonlord [1]:
Package has been updated.
aur-requests@lists.archlinux.org