../ libnauty2-dbg_2.5r9+ds-1_amd64.deb 21-Feb-2014 11:10 2032710 libnauty2-dev_2.5r9+ds-1_amd64.deb 21-Feb-2014 11:10 439530 libnauty2_2.5r9+ds-1_amd64.deb 21-Feb-2014 11:10 493740 nauty-doc_2.5r9+ds-1_all.deb 21-Feb-2014 11:10 495704 nauty_2.5r9+ds-1.debian.tar.xz 21-Feb-2014 11:10 27300 nauty_2.5r9+ds-1.dsc 21-Feb-2014 11:10 2238 nauty_2.5r9+ds-1_amd64.deb 21-Feb-2014 11:10 207074 nauty_2.5r9+ds.orig.tar.xz 21-Feb-2014 11:10 767744