Merge pull request #1 from ThibaultRiviere/master

Update version from 1.5.2 to 1.5.6
jaym · Mar 21, 2018 · 7d865a5 · 7d865a5
2 parents 5039b9d + 480ba69
commit 7d865a5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/default.nix b/default.nix
@@ -6,8 +6,8 @@ stdenv.mkDerivation rec {
   version = "1.5.2";
 
   src = fetchurl {
-    url = "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.x86_64.zip";
-    sha256 = "1xsqw34qy341mgfg57fcp0skm8rv4sqzi7qb442vn21nhhwmmxdk";
+    url = "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.6-linux.gtk.x86_64.zip";
+    sha256 = "1b5sf4d7sv0x1hg4f1if3q7wzsi09dr8fv71qfagj8m25zrh3lvj";
   };
 
   buildInputs = [ patchelf unzip makeWrapper jre ];