Name Last modified Size Description
Parent Directory - nauty_2.4r2-1.debian.tar.gz 2012-03-24 12:03 17K nauty_2.4r2-1.dsc 2012-03-24 12:03 1.5K nauty_2.4r2.orig.tar.gz 2012-03-24 12:03 704K nauty-doc_2.5r9+ds-1_all.deb 2014-02-21 15:10 484K nauty_2.5r9+ds-1.debian.tar.xz 2014-02-21 15:10 27K nauty_2.5r9+ds-1.dsc 2014-02-21 15:10 2.2K nauty_2.5r9+ds.orig.tar.xz 2014-02-21 15:10 750K