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

notify at aur.archlinux.org notify at aur.archlinux.org
Wed Sep 8 07:32:37 UTC 2021


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/


More information about the aur-requests mailing list