../ libnauty2-dev_2.6r10+ds-1ubuntu1_amd64.deb 09-Mar-2023 22:30 405940 libnauty2_2.6r10+ds-1ubuntu1_amd64.deb 09-Mar-2023 22:30 466184 nauty-doc_2.6r10+ds-1ubuntu1_all.deb 09-Mar-2023 22:30 502676 nauty_2.6r10+ds-1ubuntu1_amd64.deb 09-Mar-2023 22:30 304848