ricoriedel [1] filed a deletion request for nonosolver [2]: I renamed the program and created a new package with the new name, so this package is now longer needed. Thank you in advance! [1] https://aur.archlinux.org/account/ricoriedel/ [2] https://aur.archlinux.org/pkgbase/nonosolver/