../ libnauty-dev_2.4-2_i386.deb 26-Apr-2023 12:48 90K libnauty1d_2.4-2_i386.deb 26-Apr-2023 12:48 70K nauty_2.4-2.debian.tar.gz 26-Apr-2023 12:48 19K nauty_2.4-2.dsc 26-Apr-2023 12:48 1299 nauty_2.4-2_i386.deb 26-Apr-2023 12:48 512K nauty_2.4.orig.tar.gz 26-Apr-2023 12:48 703K