../ libnauty-dev_2.4r2-1_amd64.deb 24-Mar-2012 11:03 115K libnauty1d_2.4r2-1_amd64.deb 24-Mar-2012 11:03 90K nauty_2.4r2-1.debian.tar.gz 24-Mar-2012 11:03 17K nauty_2.4r2-1.dsc 24-Mar-2012 11:03 1533 nauty_2.4r2-1_amd64.deb 24-Mar-2012 11:03 538K nauty_2.4r2.orig.tar.gz 24-Mar-2012 11:03 704K