../ libnauty2-dev_2.6r10+ds-1_armhf.deb 22-Jul-2020 15:41 393692 libnauty2_2.6r10+ds-1_armhf.deb 22-Jul-2020 16:13 461280 nauty-doc_2.6r10+ds-1_all.deb 22-Jul-2020 14:53 507408 nauty_2.6r10+ds-1_armhf.deb 22-Jul-2020 16:11 265524