Merge with upstream

2021-01-06 10:54:14 -08:00
parent 858ec1d043 f64c331603
commit 0cbffdd27f
4 changed files with 69 additions and 54 deletions
@@ -10,6 +10,17 @@ in {
      fetchurl = builtins.fetchurl;
    };

+    minecraft-server_1_16_4 = pkgs.minecraft-server.overrideAttrs
+      (oldAttrs: rec {
+        version = "1.15.1";
+        src = builtins.fetchurl {
+          url =
+            "https://launcher.mojang.com/v1/objects/35139deedbd5182953cf1caa23835da59ca3d7cd/server.jar";
+          sha256 =
+            "01i5nd03sbnffbyni1fa6hsg5yll2h19vfrpcydlivx10gck0ka4";
+        };
+      });
+
    minecraft-server_1_15_1 = pkgs.minecraft-server.overrideAttrs
      (oldAttrs: rec {
        version = "1.15.1";