  $ sudo pacman -S 4ti2 bliss clang coin-or-cbc coxeter graphviz gtest igraph \
        intel-oneapi-tbb libxml2 lrs pari-elldata pari-galpol pari-seadata \
        pdf2svg perl-term-readline-gnu polymake sbcl symengine
