  $ sudo pacman -S 4ti2 bliss clang coin-or-cbc coxeter gdbm gfan giac \
        graphviz gtest igraph intel-oneapi-tbb libxml2 lrs mongo-c-driver \
        msolve pari-elldata pari-galpol pari-seadata pdf2svg \
        perl-term-readline-gnu polymake sbcl sirocco symengine util-linux-libs
