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

nauty: 26r11 -> 26r12
This commit is contained in:
Timo Kaufmann 2019-10-22 23:33:48 +02:00 committed by GitHub
commit ed145e8f22
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,10 +4,10 @@
}:
stdenv.mkDerivation rec {
pname = "nauty";
version = "26r11";
version = "26r12";
src = fetchurl {
url = "http://pallini.di.uniroma1.it/nauty${version}.tar.gz";
sha256 = "05z6mk7c31j70md83396cdjmvzzip1hqb88pfszzc6k4gy8h3m2y";
sha256 = "1p4mxf8q5wm47nxyskxbqwa5p1vvkycv1zgswvnk9nsn6vff0al6";
};
outputs = [ "out" "dev" ];
configureFlags = {