../ libnauty-2.8.8-dbgsym_2.8.8+ds-5_sh4.deb 04-Apr-2024 06:03 2M libnauty-2.8.8_2.8.8+ds-5_sh4.deb 04-Apr-2024 06:03 615K libnauty-dev_2.8.8+ds-5_sh4.deb 04-Apr-2024 06:03 848K nauty-dbgsym_2.8.8+ds-5_sh4.deb 04-Apr-2024 06:03 794K nauty_2.8.8+ds-5_sh4.buildinfo 04-Apr-2024 06:03 6858 nauty_2.8.8+ds-5_sh4.deb 04-Apr-2024 06:03 780K