[aur-requests] [PRQ#27672] Deletion Request for webots-bin
20 Aug
2021
20 Aug
'21
11:08 p.m.
dgt [1] filed a deletion request for webots-bin [2]: This is a duplicate of webots. [1] https://aur.archlinux.org/account/dgt/ [2] https://aur.archlinux.org/pkgbase/webots-bin/
20 Aug
20 Aug
11:52 p.m.
New subject: [aur-requests] [PRQ#27672] Deletion Request for webots-bin Rejected
Request #27672 has been rejected by alerque [1]: They are close duplicates, but this one has the better name. This is a -bin package of something that seems to have sources available, so this is the name Arch guidelines call for. [1] https://aur.archlinux.org/account/alerque/
1225
Age (days ago)
1225
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org