Córais

Research Group

 

We maintain some software packages for critical system software (compilers, toolchains, et cetera) for the Arch Linux distribution.

You can add our package repository to your /etc/pacman.conf to make use of these. Just insert the following block:

[córais]
SigLevel = Optional
Server = http://corais.scss.tcd.ie/repo/

You can browse the package list online as well.