Sorry, doze-n-send, strikes again. The package can be found on mentors.debian.net: - URL: http://mentors.debian.net/debian/pool/non-free/n/nauty - Source repository: deb-src http://mentors.debian.net/debian unstable main contrib non-free - dget http://mentors.debian.net/debian/pool/non-free/n/nauty/nauty_2.4~b7-1.dsc