alloy: 5.0.0.1 -> 5.1.0

5 years ago · 0850a90fd5
parent 671fc82ece
commit 0850a90fd5
1 changed files with 4 additions and 4 deletions
--- a/pkgs/development/tools/alloy/default.nix
+++ b/pkgs/development/tools/alloy/default.nix
@ -59,14 +59,14 @@ in rec {
    };
  };

-  alloy5 = let version = "5.0.0.1"; in generic {
+  alloy5 = let version = "5.1.0"; in generic {
    major = "5";
    inherit version;
    src = fetchurl {
-      sha256 = "0kz6i9av9ksjk62lx0dxx8xr542iqvbqd14m1f9h8xpf72c25xw4";
-      url = "https://github.com/AlloyTools/org.alloytools.alloy/releases/download/v${version}/Alloy-${version}.jar";
+      sha256 = "02k9khs4k5nc86x9pp5k3vcb0kiwdgcin46mlap4fycnr673xd53";
+      url = "https://github.com/AlloyTools/org.alloytools.alloy/releases/download/v${version}/org.alloytools.alloy.dist.jar";
    };
  };

-  alloy = alloy4;
+  alloy = alloy5;
 }