Index of /desktop/pool/main/n/nauty

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      libnauty-dev_2.4-2_i..> 08-Oct-2014 15:46   91K  
      libnauty1d_2.4-2_i38..> 08-Oct-2014 15:46   71K  
      nauty_2.4-2_i386.deb    08-Oct-2014 15:46  502K

Apache/2.2.15 (CentOS) Server at repo.linuxwizard.ru Port 80