Local changes

2020-07-20 10:20:26 -07:00
parent ac623c51c2 8217b5312d
commit b82ec83d3c
4 changed files with 23 additions and 5 deletions
@@ -22,6 +22,19 @@
      };
    });

+    # DON'T LEAVE THE HASH--Nix will think the package hasn't changed
+    minecraft-server_1_16_1 = let
+      version = "1.16.1";
+      url = "https://launcher.mojang.com/v1/objects/a412fd69db1f81db3f511c1463fd304675244077/server.jar";
+      sha256 = "0nwkdig6yw4cnm2ld78z4j4xzhbm1rwv55vfxz0gzhsbf93xb0i7";
+    in (pkgs.minecraft-server.overrideAttrs (oldAttrs: rec {
+      name = "minecraft-server-${version}";
+      inherit version;
+      src = pkgs.fetchurl {
+        inherit url sha256;
+      };
+    }));
+
    postgresql_11_gssapi = pkgs.postgresql_11.overrideAttrs (oldAttrs: rec {
      configureFlags = oldAttrs.configureFlags ++ [ "--with-gssapi" ];
      buildInputs = oldAttrs.buildInputs ++ [ pkgs.krb5 ];