../ libnauty-2.8.8_2.8.8+ds-5_amd64.deb 28-Oct-2025 13:21 784676 libnauty-dev_2.8.8+ds-5_amd64.deb 28-Oct-2025 13:38 1041106 nauty_2.8.8+ds-5_amd64.deb 28-Oct-2025 13:44 773874