diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2020-11-29 04:01:21 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-29 04:01:21 +0100 |
commit | 4dc26ca31d1172088f55bd36585e34386f09c686 (patch) | |
tree | 14e4bb722859b8b7e9ef7a015c291c3b5f079ddb /pkgs/applications/science/logic/tlaplus | |
parent | 32c7524f78f3f0928282d75b9546edf5e2514988 (diff) | |
parent | 887f1978f62d2e12759e3dff2d5ede9d73b4dbc4 (diff) |
Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox
tlaplusToolbox: 1.6.0 -> 1.7.0
Diffstat (limited to 'pkgs/applications/science/logic/tlaplus')
-rw-r--r-- | pkgs/applications/science/logic/tlaplus/toolbox.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/tlaplus/toolbox.nix b/pkgs/applications/science/logic/tlaplus/toolbox.nix index 5c445459a36a6..c9e97375b6c78 100644 --- a/pkgs/applications/science/logic/tlaplus/toolbox.nix +++ b/pkgs/applications/science/logic/tlaplus/toolbox.nix @@ -3,7 +3,7 @@ }: let - version = "1.6.0"; + version = "1.7.0"; arch = "x86_64"; desktopItem = makeDesktopItem rec { @@ -25,7 +25,7 @@ in stdenv.mkDerivation { inherit version; src = fetchzip { url = "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-${version}-linux.gtk.${arch}.zip"; - sha256 = "1mgx4p5qykf9q0p4cp6kcpc7fx8g5f2w1g40kdgas24hqwrgs3cm"; + sha256 = "0v15wscawair5bghr5ixb4i062kmh9by1m0hnz2r1sawlqyafz02"; }; buildInputs = [ makeWrapper ]; |