[aur-requests] [PRQ#27673] Merge Request for webots
20 Aug
2021
20 Aug
'21
9:54 p.m.
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 together. [1] https://aur.archlinux.org/account/alerque/ [2] https://aur.archlinux.org/pkgbase/webots/ [3] https://aur.archlinux.org/pkgbase/webots-bin/
22 Aug
22 Aug
7:38 a.m.
New subject: [aur-requests] [PRQ#27673] Merge Request for webots Accepted
Request #27673 has been accepted by ainola [1]. [1] https://aur.archlinux.org/account/ainola/
1221
Age (days ago)
1223
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org