../ libnauty2-dev_2.7r1+ds-2_amd64.deb 02-Mar-2023 11:26 448760 libnauty2_2.7r1+ds-2_amd64.deb 02-Mar-2023 11:26 526808 nauty-doc_2.7r1+ds-2_all.deb 02-Mar-2023 11:26 515012 nauty_2.7r1+ds-2_amd64.deb 02-Mar-2023 11:26 331988