../ libnauty2-dbg_2.5r9+ds-1_amd64.deb 14-Apr-2014 15:48 1808284 libnauty2-dev_2.5r9+ds-1_amd64.deb 14-Apr-2014 15:48 423214 libnauty2_2.5r9+ds-1_amd64.deb 14-Apr-2014 15:48 469934 nauty-doc_2.5r9+ds-1_all.deb 14-Apr-2014 16:13 493464 nauty_2.5r9+ds-1.debian.tar.xz 14-Apr-2014 15:48 27300 nauty_2.5r9+ds-1.dsc 14-Apr-2014 15:48 2238 nauty_2.5r9+ds-1_amd64.deb 14-Apr-2014 15:48 202794 nauty_2.5r9+ds.orig.tar.xz 14-Apr-2014 15:48 767744