../ libnauty-2.8.8_2.8.8+ds-5_amd64.deb 03-Apr-2024 23:04 784676 libnauty-dev_2.8.8+ds-5_amd64.deb 03-Apr-2024 23:04 1041106 nauty-doc_2.8.8+ds-5_all.deb 03-Apr-2024 23:04 554886 nauty_2.8.8+ds-5_amd64.deb 03-Apr-2024 23:04 773874