Index of /debian/pool/main/n/nauty

	Name	Last modified	Size
	Parent Directory		-
	nauty_2.6r7+ds-1.dsc	23-Aug-2016 01:04	2.8K
	nauty_2.6r10+ds-1.dsc	24-Nov-2017 19:47	2.9K
	nauty_2.6r10+ds-1.debian.tar.xz	24-Nov-2017 19:47	29K
	nauty_2.6r7+ds-1.debian.tar.xz	23-Aug-2016 01:04	30K
	nauty_2.6r7+ds-1_amd64.deb	23-Aug-2016 01:44	295K
	nauty_2.6r10+ds-1_amd64.deb	24-Nov-2017 20:12	297K
	nauty_2.6r10+ds-1_i386.deb	24-Nov-2017 20:12	298K
	nauty_2.6r7+ds-1_i386.deb	23-Aug-2016 01:44	298K
	libnauty2-dev_2.6r10+ds-1_amd64.deb	24-Nov-2017 20:12	398K
	libnauty2-dev_2.6r10+ds-1_i386.deb	24-Nov-2017 20:12	443K
	libnauty2-dev_2.6r7+ds-1_amd64.deb	23-Aug-2016 01:44	463K
	libnauty2_2.6r10+ds-1_i386.deb	24-Nov-2017 20:12	467K
	libnauty2_2.6r10+ds-1_amd64.deb	24-Nov-2017 20:12	484K
	libnauty2-dev_2.6r7+ds-1_i386.deb	23-Aug-2016 01:44	494K
	nauty-doc_2.6r7+ds-1_all.deb	23-Aug-2016 01:44	495K
	nauty-doc_2.6r10+ds-1_all.deb	24-Nov-2017 20:12	496K
	libnauty2_2.6r7+ds-1_i386.deb	23-Aug-2016 01:44	523K
	libnauty2_2.6r7+ds-1_amd64.deb	23-Aug-2016 01:44	536K
	nauty_2.6r10+ds.orig.tar.xz	24-Nov-2017 19:47	915K
	nauty_2.6r7+ds.orig.tar.xz	23-Aug-2016 01:04	959K