  $ 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-Term-ReadLine-Gnu sbcl tbb-devel
