josephgbr [1] filed a deletion request for lib32-box2d [2]: Besides out-of-date, this PKGBUILD doesn't provide a lib32. Instead, it provides box2d, which is already provided by box2d-pc and others. Btw, maitainer 'DELETETHIS' seems to need help to have his/her account deleted. [1] https://aur.archlinux.org/account/josephgbr/ [2] https://aur.archlinux.org/pkgbase/lib32-box2d/