$ 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
