Index of /debian-ports/pool-riscv64/main/n/nauty

Icon  Name                                     Last modified      Size  Description
[DIR] Parent Directory                                              -   
[   ] nauty_2.6r10+ds-1_riscv64.buildinfo      26-Mar-2018 14:03  6.1K  
[   ] nauty_2.6r10+ds-1_riscv64.deb            26-Mar-2018 14:03  289K  
[   ] libnauty2_2.6r10+ds-1_riscv64.deb        26-Mar-2018 14:03  486K  
[   ] nauty-dbgsym_2.6r10+ds-1_riscv64.deb     26-Mar-2018 14:03  682K  
[   ] libnauty2-dev_2.6r10+ds-1_riscv64.deb    26-Mar-2018 14:03  1.1M  
[   ] libnauty2-dbgsym_2.6r10+ds-1_riscv64.deb 26-Mar-2018 14:03  1.6M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80