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

Wed, 08 Sep 2021 00:32:47 -0700 

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/

Reply via email to