../ libnauty-2.8.8-dbgsym_2.8.8+ds-5_sh4.deb 04-Apr-2024 06:03 2218252 libnauty-2.8.8_2.8.8+ds-5_sh4.deb 04-Apr-2024 06:03 629580 libnauty-dev_2.8.8+ds-5_sh4.deb 04-Apr-2024 06:03 868176 nauty-dbgsym_2.8.8+ds-5_sh4.deb 04-Apr-2024 06:03 812820 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 798536