../ libnauty-2.8.8_2.8.8+ds-5_amd64.deb 03-Apr-2024 23:04 766K libnauty-dev_2.8.8+ds-5_amd64.deb 03-Apr-2024 23:04 1017K nauty-doc_2.8.8+ds-5_all.deb 03-Apr-2024 23:04 542K nauty_2.8.8+ds-5_amd64.deb 03-Apr-2024 23:04 756K