Merge pull request #11714 from ericsagnes/jumanji

jumanji: fixed source
This commit is contained in:
Arseniy Seroka 2015-12-14 22:46:41 +03:00
commit c7b320656f

View file

@ -6,7 +6,7 @@ stdenv.mkDerivation rec {
version = "20150107";
src = fetchgit {
url = git://pwmt.org/jumanji.git;
url = https://git.pwmt.org/pwmt/jumanji.git;
rev = "f8e04e5b5a9fec47d49ca63a096e5d35be281151";
sha256 = "1xq06iabr4y76faf4w1cx6fhwdksfsxggz1ndny7icniwjzk98h9";
};