../ libnauty2-dev_2.6r10+ds-1_amd64.deb 02-Oct-2018 09:17 407884 libnauty2_2.6r10+ds-1_amd64.deb 02-Oct-2018 09:46 480348 nauty-doc_2.6r10+ds-1_all.deb 02-Oct-2018 09:24 502668 nauty_2.6r10+ds-1_amd64.deb 02-Oct-2018 09:24 306768