Request #35315 has been Rejected by diabonas [1]: The package has been merged into svp-bin, cf. PRQ#35554 (https://lists.archlinux.org/pipermail/aur- requests/2022-June/073213.html). [1] https://aur.archlinux.org/account/diabonas/