bump GNUnet to HEAD

This commit is contained in:
lurchi 2019-07-05 19:45:39 +02:00
parent 50841629e9
commit f12aa4c540
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; with stdenv.lib;
let let
rev = "ee19e4da1ce73b50218b8a8ac026b04b9fd44138"; rev = "c7ec44c1263a19ee056eaec27c8bfb2ecd4e5184";
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "gnunet-${rev}"; name = "gnunet-${rev}";
@ -19,7 +19,7 @@ stdenv.mkDerivation rec {
src = fetchgit { src = fetchgit {
url = https://git.gnunet.org/gnunet.git; url = https://git.gnunet.org/gnunet.git;
inherit rev; inherit rev;
sha256 = "144l374d2ng4icsxilmimms5db0xwhbq6aqihk8844izgdbg3awf"; sha256 = "0hjmm6x1720gfbqqfvf3w4mn2dha2n74yps8qgvc8ar62if51xp9";
}; };
phases = [ phases = [