Commit 77df1099 authored by Ben Siraphob's avatar Ben Siraphob
Browse files

nuxmv: 2.0.0 -> 2.1.0

parent 7d26b236

pkgs/by-name/nu/nuxmv/package.nix

+7 −6
Original line number Diff line number Diff line
@@ -8,17 +8,17 @@ 


stdenv.mkDerivation rec {

  pname = "nuxmv";

  version = "2.0.0";

  version = "2.1.0";



  src = fetchurl {

    url = "https://es-static.fbk.eu/tools/nuxmv/downloads/nuXmv-${version}-${

      if stdenv.hostPlatform.isDarwin then "macosx64" else "linux64"

    }.tar.gz";

    url = "https://nuxmv.fbk.eu/downloads/nuXmv-${version}-${

      if stdenv.hostPlatform.isDarwin then "macos-universal" else "linux64"

    }.tar.xz";

    sha256 =

      if stdenv.hostPlatform.isDarwin then

        "sha256-48I+FhJUUam1nMCMMM47CwGO82BYsNz0eHDHXBfqO2E="

        "sha256-3AoXEPCunzbhYjjUCzXc9m+CPTVwE70udMCfbpucbdU="

      else

        "sha256-Gf+QgAjTrysZj7qTtt1wcQPganDtO0YtRY4ykhLPzVo=";

        "sha256-x9/sQ3SbyyMMhX7+gQmbldhouU79n4G8zr5UKjBqfIM=";

  };



  nativeBuildInputs = [ makeWrapper ];
@@ -42,6 +42,7 @@ stdenv.mkDerivation rec { 
    platforms = [

      "x86_64-linux"

      "x86_64-darwin"

      "aarch64-darwin"

    ];

  };

}