  $ sudo xbps-install CoinMP-devel clang gdbm-devel gfan giac-devel gp2c \
        graphviz graphviz-devel gtest-devel igraph-devel isl-devel \
        libxml2-devel nauty-devel pari-elldata-small pari-galpol-small \
        pari-nftables pari-seadata perl-File-Slurp perl-JSON perl-SVG \
        perl-Term-ReadKey perl-Term-ReadLine-Gnu perl-XML-LibXML \
        perl-XML-LibXSLT perl-XML-Writer sbcl tbb-devel
