Unverified Commit 482e7965 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #227292 from r-ryantm/auto-update/tlaplus 

tlaplus: 1.7.2 -> 1.7.3
parents 821a3f32 3012b98a

pkgs/applications/science/logic/tlaplus/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -2,11 +2,11 @@ 


stdenv.mkDerivation rec {

  pname = "tlaplus";

  version = "1.7.2";

  version = "1.7.3";



  src = fetchurl {

    url = "https://github.com/tlaplus/tlaplus/releases/download/v${version}/tla2tools.jar";

    sha256 = "sha256-+hhUPkTtWXSoW9LGDA3BZiCuEXaA6o5pPSaRmZ7ZCyI=";

    sha256 = "sha256-5P8V6oH05voSXAgwBDclSxdxdMalrfaNpElkar4IUZ0=";

  };



  nativeBuildInputs = [ makeWrapper ];