Merge pull request #47754 from r-ryantm/auto-update/nauty

nauty: 26r10 -> 26r11
This commit is contained in:
Timo Kaufmann 2018-10-03 22:09:36 +02:00 committed by GitHub
commit eb7a498d25
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,10 +1,10 @@
{stdenv, fetchurl}:
stdenv.mkDerivation rec {
name = "nauty-${version}";
version = "26r10";
version = "26r11";
src = fetchurl {
url = "http://pallini.di.uniroma1.it/nauty${version}.tar.gz";
sha256 = "16pdklh066z6mx424wkisr88fz9divn2caj7ggs03wy3y848spq6";
sha256 = "05z6mk7c31j70md83396cdjmvzzip1hqb88pfszzc6k4gy8h3m2y";
};
buildInputs = [];
installPhase = ''