silverhikari [1] filed a request to merge gnome-inform7 [2] into inform7-ide [3]: updated pkgname to be more inline with the upstream pkgname [1] https://aur.archlinux.org/account/silverhikari/ [2] https://aur.archlinux.org/pkgbase/gnome-inform7/ [3] https://aur.archlinux.org/pkgbase/inform7-ide/