../ libnauty-2.8.8_2.8.8+ds-5_riscv64.deb 22-Apr-2024 13:52 863K libnauty-dev_2.8.8+ds-5_riscv64.deb 22-Apr-2024 14:13 3M nauty-doc_2.8.8+ds-5_all.deb 22-Apr-2024 14:35 554K nauty_2.8.8+ds-5.debian.tar.xz 15-May-2024 10:46 64K nauty_2.8.8+ds-5.dsc 15-May-2024 10:46 2268 nauty_2.8.8+ds-5_riscv64.deb 22-Apr-2024 13:55 726K nauty_2.8.8+ds.orig.tar.xz 15-May-2024 10:46 1M