../ libnauty2-dbgsym_2.8.6+ds-2_riscv64.deb 10-Apr-2023 11:28 2M libnauty2-dev_2.8.6+ds-2_riscv64.deb 10-Apr-2023 11:36 1M libnauty2_2.8.6+ds-2_riscv64.deb 10-Apr-2023 11:31 553K nauty-dbgsym_2.8.6+ds-2_riscv64.deb 10-Apr-2023 11:29 810K nauty-doc_2.8.6+ds-2_all.deb 10-Apr-2023 11:45 526K nauty_2.8.6+ds-2_riscv64.deb 10-Apr-2023 11:31 378K