frealgagu [1] filed a deletion request for lib32-webkitgtk [2]: pulse-secure is a 64bits package, so this package is no longer required. It contains a lot of buxes and nobody is maintaining it (and I think it never will be maintained). [1] https://aur.archlinux.org/account/frealgagu/ [2] https://aur.archlinux.org/pkgbase/lib32-webkitgtk/