[PRQ#67507] Deletion Request for python-casadi-bin

greyltc [1] filed a deletion request for python-casadi-bin [2]: https://aur.archlinux.org/packages/casadi is now fixed, so this package has no reason for being anymore [1] https://aur.archlinux.org/account/greyltc/ [2] https://aur.archlinux.org/pkgbase/python-casadi-bin/