../ nauty-doc_2.6r10+ds-1_all.deb 24-Nov-2017 20:12 507408 nauty-doc_2.7r1+ds-2_all.deb 25-Mar-2021 06:58 515012 nauty-doc_2.8.6+ds-2_all.deb 13-Jan-2023 15:26 539068 nauty-doc_2.8.8+ds-5_all.deb 03-Apr-2024 13:16 567548