[arch-general] selinux groups not working

[piruthiviraj natarajan]

I am trying to install selinux on my system from Timothee's repos. But I am
only able to install package group "selinux" but  the
*selinux-system-utilities,
**selinux-userspace, **selinux-policies* and *selinux-extras* package
groups doesn't seem to be working.

[root at arch ~]# pacman -S selinux-system-utilities selinux-userspace
selinux-policies selinux-extras
error: target not found: selinux-system-utilities
error: target not found: selinux-userspace
error: target not found: selinux-policies
error: target not found: selinux-extras
[root at arch ~]#


I know I can install from AUR but I was of the expectation that this should
work from the

http://repo.siosm.fr/$repo/

repos.