[aur-requests] [PRQ#28075] Deletion Request for why3
8 Sep
2021
8 Sep
'21
7:32 a.m.
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/
11 Sep
11 Sep
5:37 p.m.
New subject: [aur-requests] [PRQ#28075] Deletion Request for why3 Accepted
Request #28075 has been accepted by ainola [1]. [1] https://aur.archlinux.org/account/ainola/
1199
Age (days ago)
1202
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org