../ 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.debian.tar.xz 27-Feb-2020 18:08 29796 nauty_2.6r10+ds-1ubuntu1.dsc 27-Feb-2020 18:08 2364 nauty_2.6r10+ds-1ubuntu1_amd64.deb 27-Feb-2020 18:13 304848 nauty_2.6r10+ds.orig.tar.xz 24-Nov-2017 23:25 936756