Arch Linux PKGBUILDs used to build packages availabled in the siosm-selinux repository at https://repo.siosm.fr/siosm-selinux