public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tlaplusToolbox: 1.5.6 -> 1.5.7

Browse Source 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/tla-toolbox/versions.
This commit is contained in:
R. RyanTM 2018-07-21 08:39:53 -07:00
parent 1ae2f10642
commit 9882d5635c
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 let
version = "1.5.6"; version = "1.5.7";
arch = "x86_64"; arch = "x86_64";
desktopItem = makeDesktopItem rec { desktopItem = makeDesktopItem rec {
@ -24,7 +24,7 @@ in stdenv.mkDerivation {
name = "tla-toolbox-${version}"; name = "tla-toolbox-${version}";
src = fetchzip { src = fetchzip {
url = "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-${version}-linux.gtk.${arch}.zip"; url = "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-${version}-linux.gtk.${arch}.zip";
sha256 = "1h63mcbrkf4jcg6qncpqffdi0x665z0wlfdq43d67p411xcqmbw9"; sha256 = "0lg9sizpw5mkcnwwvmgqigkizjyz2lf1wrg48h7mg7wcv3macy4q";
}; };
buildInputs = [ makeWrapper ]; buildInputs = [ makeWrapper ];