zoorat [1] filed a deletion request for why3 [2]: Missing 1 dependency, Orphan, Last Updated: 2020-09-09 05:44. [1] https://aur.archlinux.org/account/zoorat/ [2] https://aur.archlinux.org/pkgbase/why3/