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