diff options
author | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2018-07-22 08:44:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-22 08:44:58 +0200 |
commit | f3088832dfa4c7612f84da60a6a1e9302a7ddc38 (patch) | |
tree | 4af21b385a688f86bd651ff5f9848ac15febb1cb /pkgs/applications/science/logic | |
parent | d4fb8ab2963178de7d1dcec48cdf78442f1605be (diff) | |
parent | 9882d5635c77353cda6e569e1b97a778dcc50c48 (diff) | |
download | nixlib-f3088832dfa4c7612f84da60a6a1e9302a7ddc38.tar nixlib-f3088832dfa4c7612f84da60a6a1e9302a7ddc38.tar.gz nixlib-f3088832dfa4c7612f84da60a6a1e9302a7ddc38.tar.bz2 nixlib-f3088832dfa4c7612f84da60a6a1e9302a7ddc38.tar.lz nixlib-f3088832dfa4c7612f84da60a6a1e9302a7ddc38.tar.xz nixlib-f3088832dfa4c7612f84da60a6a1e9302a7ddc38.tar.zst nixlib-f3088832dfa4c7612f84da60a6a1e9302a7ddc38.zip |
Merge pull request #43899 from r-ryantm/auto-update/tla-toolbox
tlaplusToolbox: 1.5.6 -> 1.5.7
Diffstat (limited to 'pkgs/applications/science/logic')
-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 5ce359dea0ec..342d91cf5825 100644 --- a/pkgs/applications/science/logic/tlaplus/toolbox.nix +++ b/pkgs/applications/science/logic/tlaplus/toolbox.nix @@ -3,7 +3,7 @@ }: let - version = "1.5.6"; + version = "1.5.7"; arch = "x86_64"; desktopItem = makeDesktopItem rec { @@ -24,7 +24,7 @@ in stdenv.mkDerivation { name = "tla-toolbox-${version}"; src = fetchzip { url = "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-${version}-linux.gtk.${arch}.zip"; - sha256 = "1h63mcbrkf4jcg6qncpqffdi0x665z0wlfdq43d67p411xcqmbw9"; + sha256 = "0lg9sizpw5mkcnwwvmgqigkizjyz2lf1wrg48h7mg7wcv3macy4q"; }; buildInputs = [ makeWrapper ]; |