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

nauty: 26r7 -> 26r10
This commit is contained in:
Michael Raskin 2018-05-17 12:31:42 +00:00 committed by GitHub
commit 3b27ba4de7
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 = "26r7";
version = "26r10";
src = fetchurl {
url = "http://pallini.di.uniroma1.it/nauty${version}.tar.gz";
sha256 = "1indcc1im7s5x89x0xn4699izw1wwars1aanpmf8jibnw66n9dcp";
sha256 = "16pdklh066z6mx424wkisr88fz9divn2caj7ggs03wy3y848spq6";
};
buildInputs = [];
installPhase = ''