iyanmv [1] filed a deletion request for symengine-0.13 [2]: This was only needed by python-qiskit. Since version 2.1.0 released today, they do not rely on symengine anymore.
[1] https://aur.archlinux.org/account/iyanmv/ [2] https://aur.archlinux.org/pkgbase/symengine-0.13/
