  $ sudo apt-get install 4ti2 clang coinor-cbc coinor-libcbc-dev fricas gfan \
        googletest graphviz libfile-slurp-perl libgdbm-dev libgiac-dev \
        libgraphviz-dev libigraph-dev libisl-dev libjson-perl libmongodb-perl \
        libnauty-dev libperl-dev libpolymake-dev libsvg-perl libtbb-dev \
        libterm-readkey-perl libterm-readline-gnu-perl libxml-libxslt-perl \
        libxml-writer-perl libxml2-dev lrslib pari-gp2c pdf2svg polymake sbcl \
        xcas
