[PRQ#42435] Deletion Request for arduino-language-server-bin
20 Jun
2023
20 Jun
'23
4:07 p.m.
MarsSeed [1] filed a deletion request for arduino-language-server-bin [2]: x86_64 binary, foreign duplicate of repo package: https://archlinux.org/packages/extra/x86_64/arduino-language-server/ [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/arduino-language-server-bin/
20 Jun
20 Jun
9:12 p.m.
New subject: [PRQ#42435] Deletion Request for arduino-language-server-bin Accepted
Request #42435 has been Accepted by polyzen [1]: [Autogenerated] Accepted deletion for arduino-language-server-bin. [1] https://aur.archlinux.org/account/polyzen/
556
Age (days ago)
556
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org