bump GNUnet to HEAD

master
lurchi 2019-07-13 13:09:37 +02:00
parent 43c75278e9
commit d1c2b5bdd3
No known key found for this signature in database
GPG Key ID: 8241BE099775A097
1 changed files with 2 additions and 2 deletions

View File

@ -11,7 +11,7 @@
with stdenv.lib;
let
rev = "c7ec44c1263a19ee056eaec27c8bfb2ecd4e5184";
rev = "1b7caeb5acfe1d33a0305eaac188870698e622df";
in
stdenv.mkDerivation rec {
name = "gnunet-${rev}";
@ -19,7 +19,7 @@ stdenv.mkDerivation rec {
src = fetchgit {
url = https://git.gnunet.org/gnunet.git;
inherit rev;
sha256 = "0hjmm6x1720gfbqqfvf3w4mn2dha2n74yps8qgvc8ar62if51xp9";
sha256 = "0y570840x85y0cif1598cklckqzms8pa0g1s3n5chdrfwq80pqy8";
};
phases = [