Updated list: developer/clang-40 developer/gcc-5 developer/gcc-6 developer/gcc-7 developer/golang-18 library/webkitgtk runtime/sbcl [coredump, sorry Alexander :( ] I have tested the resulting packages on my workstation and laptop (currently typing on the X230). > -- --- Praise the Caffeine embeddings