Actually, since the first doesn't have any vote and comment, maybe it can just be removed?
https://aur.archlinux.org/packages/gnome-guile-platform-git/ https://aur.archlinux.org/packages/guile-gnome-platform-git/
The latter name looks more consistent with upstream name and other
packages. Also, the first is orphaned.
- [aur-general] Merge request: gnome-guile-platform-git ==> gui... Jekyll Wu
