Package for arch linux

Hi, i have been using Trinity quite a lot, but due to problems with some distros I switched to Manjaro (based on arch linux), where it seems a bit more complicated to include TDE than in the Ubuntu derivates. I found the instructions on https://wiki.archlinux.org/index.php/Trinity. There it says I should edit pacman.conf (which I did) with the following lines: [trinity] SigLevel = Never Server = http://trinity.ceux.org/r14/x86_64 When running "pacman -Syu", I get the message that trinity.db couldn't be retrieved from trinity.ceux.org. Is this a permanent problem, or is there a typo or a different URL? I need Trinity and would be glad if someone could help. Thanks! Martin