mar04 [1] filed a deletion request for linux-infiniband [2]: Since infiniband is in kernel from [core], this is not needed. [1] https://aur.archlinux.org/account/mar04/ [2] https://aur.archlinux.org/pkgbase/linux-infiniband/