[PRQ#47185] Deletion Request for antlr3-cpp-headers-git
11 Sep
2023
11 Sep
'23
1:33 p.m.
MarsSeed [1] filed a deletion request for antlr3-cpp-headers-git [2]: Unneeded legacy antlr v3 package. It was used by scylla from 2018, but that is a broken PKGBUILD pending deletion (PRQ#47180). [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/antlr3-cpp-headers-git/
24 Jan
24 Jan
7:48 p.m.
New subject: [PRQ#47185] Deletion Request for antlr3-cpp-headers-git Rejected
Request #47185 has been Rejected by MarsSeed [1]: Deferring low-priority, no-impact request for later. [1] https://aur.archlinux.org/account/MarsSeed/
294
Age (days ago)
429
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org