../ 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_amd64.deb 24-Mar-2012 11:03 550422