../ libnauty-dev_2.4r2-1_amd64.deb 24-Mar-2012 11:03 118152 libnauty1d_2.4r2-1_amd64.deb 24-Mar-2012 11:03 91720 nauty_2.4r2-1.debian.tar.gz 24-Mar-2012 11:03 17915 nauty_2.4r2-1.dsc 24-Mar-2012 11:03 1533 nauty_2.4r2-1_amd64.deb 24-Mar-2012 11:03 550422 nauty_2.4r2.orig.tar.gz 24-Mar-2012 11:03 720754