../ libnauty2-dev_2.6r10+ds-1ubuntu1_amd64.deb 27-Feb-2020 18:13 405940 libnauty2_2.6r10+ds-1ubuntu1_amd64.deb 27-Feb-2020 18:13 466184 nauty-doc_2.6r10+ds-1ubuntu1_all.deb 27-Feb-2020 18:13 502676 nauty_2.6r10+ds-1ubuntu1_amd64.deb 27-Feb-2020 18:13 304848