Merged with upstream

2020-11-23 14:23:22 -08:00
parent f85d8c3ef7 9f52086eb7
commit c8492616db
17 changed files with 863 additions and 140 deletions
@@ -9,8 +9,8 @@ in stdenv.mkDerivation {

  src = fetchgit {
    url = url;
-    rev = "543df72f3962cf91b0e0508d15cdc083a3cd7ed4";
-    sha256 = "0hda1wjf9wd4rvxchdlxw0af3i2cvl5plg37ric3ckma6gfzkmm0";
+    rev = "c552394e55816541a9426974c5f8e6f1f83bf195";
+    sha256 = "0r61bwj5a2dvzl41cwdf2pdnhdsmp3kzfyxa5x5hsg67al6s7vi8";
    fetchSubmodules = false;
  };