  $ sudo xbps-install CoinMP-devel clang gdbm-devel gfan giac-devel gp2c \
        graphviz graphviz-devel gtest-devel igraph-devel isl-devel \
        libxml2-devel mongo-c-driver-devel nauty-devel pari-elldata-small \
        pari-galpol-small pari-nftables pari-seadata perl-Term-ReadLine-Gnu \
        sbcl tbb-devel
