Arch Linux Packages
I maintain a few unofficial software packages for Arch Linux, including a package for the CompCert verified C compiler, and the SML# programming language and compiler. The PKGBUILDs can be found on the Arch User Repository (AUR). You can see a list of all packages I maintain here.
I also maintain an unofficial repository of pre-built1 AUR packages at
https://arch.xuanruiqi.com/repo/, mainly of interest to
functional programmers and formal methods practitioners. You should follow the instructions
on the Arch Wiki, and
add the following to your
[xuanrui] Server = https://arch.xuanruiqi.com/repo/
You will also need to add my key to the pacman keyring and sign it:
# pacman-key --recv-keys 6E06FBC8 # pacman-key --lsign-key 6E06FBC8
1: my compilation flags are a bit more aggressive that the defaults set by Arch, but
they should be completely safe. To be more specific, I use
-O3 -fomit-frame-pointer instead of
which is the default.