alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

Merge pull request #43899 from r-ryantm/auto-update/tla-toolbox

Browse source 
tlaplusToolbox: 1.5.6 -> 1.5.7
This commit is contained in:
Frederik Rietdijk 2018-07-22 08:44:58 +02:00 committed by GitHub
parent d4fb8ab296 9882d5635c
commit f3088832df
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/tlaplus/toolbox.nix
View file

@ -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 ];