FabioLolix [1] filed a deletion request for scipoptsuite-bin [2]: One time effort on 2020-07-08, abandoned, weirdly both depends and provide gmp [1] https://aur.archlinux.org/account/FabioLolix/ [2] https://aur.archlinux.org/pkgbase/scipoptsuite-bin/