../ libnauty2-dev_2.7r3+ds-1_amd64.deb 08-Oct-2026 23:11 515240 libnauty2_2.7r3+ds-1_amd64.deb 08-Oct-2026 23:11 530938 nauty-doc_2.7r3+ds-1_all.deb 08-Oct-2026 23:11 515344 nauty_2.7r3+ds-1_amd64.deb 08-Oct-2026 23:11 343900