[aur-requests] [PRQ#28075] Deletion Request for why3

[notify at aur.archlinux.org]

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/