cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

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

Browse source 
tlaplusToolbox: 1.6.0 -> 1.7.0
This commit is contained in:
Sandro 2020-11-29 04:01:21 +01:00 committed by GitHub
commit 4dc26ca31d
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 let
version = "1.6.0"; version = "1.7.0";
arch = "x86_64"; arch = "x86_64";
desktopItem = makeDesktopItem rec { desktopItem = makeDesktopItem rec {
@ -25,7 +25,7 @@ in stdenv.mkDerivation {
inherit version; inherit 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 = "1mgx4p5qykf9q0p4cp6kcpc7fx8g5f2w1g40kdgas24hqwrgs3cm"; sha256 = "0v15wscawair5bghr5ixb4i062kmh9by1m0hnz2r1sawlqyafz02";
}; };
buildInputs = [ makeWrapper ]; buildInputs = [ makeWrapper ];