graph-tool: 2.12 -> 2.16 (#14848)

* graph-tool: 2.12 -> 2.16

* graph-tool: Use correct upstream source

* graph-tool: Use correct hash
This commit is contained in:
Tiago de Paula Peixoto 2016-04-25 12:37:18 +02:00 committed by Robin Gloster
parent 31d76ae1b1
commit d1d779fcbc

View file

@ -3,7 +3,7 @@ pkgconfig, boost, expat, scipy, numpy, cgal, gmp, mpfr, lndir,
gobjectIntrospection, pygobject3, gtk3, matplotlib }:
stdenv.mkDerivation rec {
version = "2.12";
version = "2.16";
name = "${python.libPrefix}-graph-tool-${version}";
meta = with stdenv.lib; {
@ -15,8 +15,8 @@ stdenv.mkDerivation rec {
};
src = fetchurl {
url = "https://github.com/count0/graph-tool/archive/release-${version}.tar.gz";
sha256 = "12w58djyx6nn00wixqnxnxby9ksabhzdkkvynl8b89parfvfbpwl";
url = "https://downloads.skewed.de/graph-tool/graph-tool-${version}.tar.bz2";
sha256 = "03b1pmh2gvsgyq491gvskx8fwgqy9k942faymdnhwpbbbfhx911p";
};
configureFlags = [