[aur-requests] [PRQ#27673] Merge Request for webots

notify at aur.archlinux.org notify at aur.archlinux.org
Fri Aug 20 21:54:35 UTC 2021

alerque [1] filed a request to merge webots [2] into webots-bin [3]:

This fetches the upstream built binary, so it should be called -bin
and make room for a source build if somebody wants to put that

[1] https://aur.archlinux.org/account/alerque/
[2] https://aur.archlinux.org/pkgbase/webots/
[3] https://aur.archlinux.org/pkgbase/webots-bin/

More information about the aur-requests mailing list