[PRQ#73277] Deletion Request for gazebo-git
12 May
2025
12 May
'25
4:41 p.m.
MarsSeed [1] filed a deletion request for gazebo-git [2]: Upstream is EOL since 2024, and its repo is now archived. [a] I think it's enough to keep the stable AUR/gazebo. [b] [a]: https://github.com/gazebosim/gazebo-classic [b]: https://aur.archlinux.org/pkgbase/gazebo [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gazebo-git/
13 May
13 May
3:44 p.m.
New subject: [PRQ#73277] Deletion Request for gazebo-git Rejected
Request #73277 has been Rejected by bertptrs [1]: Stop calling things EOL tbat aren't. Software can be finished without being dead. Consider this a formal warning. As far as I can tell, these packages are not equivalent and the git release can stay. [1] https://aur.archlinux.org/account/bertptrs/
273
Age (days ago)
274
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org