../ nauty-doc_2.5r6+ds-2_all.deb 19-Dec-2013 08:56 495370 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.orig.tar.gz 24-Mar-2012 11:03 720754 nauty_2.5r6+ds-2.debian.tar.xz 19-Dec-2013 08:56 27408 nauty_2.5r6+ds-2.dsc 19-Dec-2013 08:56 2248 nauty_2.5r6+ds.orig.tar.xz 04-Dec-2013 12:35 767800