Hello71 [1] filed a orphan request for coccinelle [2]: multiple reports failure to compile, no response [1] https://aur.archlinux.org/account/Hello71/ [2] https://aur.archlinux.org/pkgbase/coccinelle/