diff options
author | Pascal Wittmann <mail@pascal-wittmann.de> | 2014-10-06 11:18:49 +0200 |
---|---|---|
committer | Pascal Wittmann <mail@pascal-wittmann.de> | 2014-10-06 11:19:15 +0200 |
commit | 47a6f5eda91fedf71e2b447566be16467f9efdc3 (patch) | |
tree | d645bf864573c1ad67badd6efe422411224df063 /pkgs/development/tools | |
parent | 06a62d44fb81d61a37f5189f0274cb7a87a1bbb1 (diff) | |
download | nixpkgs-47a6f5eda91fedf71e2b447566be16467f9efdc3.tar nixpkgs-47a6f5eda91fedf71e2b447566be16467f9efdc3.tar.gz nixpkgs-47a6f5eda91fedf71e2b447566be16467f9efdc3.tar.bz2 nixpkgs-47a6f5eda91fedf71e2b447566be16467f9efdc3.tar.lz nixpkgs-47a6f5eda91fedf71e2b447566be16467f9efdc3.tar.xz nixpkgs-47a6f5eda91fedf71e2b447566be16467f9efdc3.tar.zst nixpkgs-47a6f5eda91fedf71e2b447566be16467f9efdc3.zip |
spin: update from 6.3.2 to 6.4.1 and add myself to maintainers
Diffstat (limited to 'pkgs/development/tools')
-rw-r--r-- | pkgs/development/tools/analysis/spin/default.nix | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/pkgs/development/tools/analysis/spin/default.nix b/pkgs/development/tools/analysis/spin/default.nix index a40215592f4..62182d0b845 100644 --- a/pkgs/development/tools/analysis/spin/default.nix +++ b/pkgs/development/tools/analysis/spin/default.nix @@ -1,13 +1,14 @@ {stdenv, fetchurl, yacc }: stdenv.mkDerivation rec { - version = "6.3.2"; name = "spin-${version}"; + version = "6.4.1"; + url-version = stdenv.lib.replaceChars ["."] [""] version; src = fetchurl { - url = http://spinroot.com/spin/Src/spin632.tar.gz; + url = "http://spinroot.com/spin/Src/spin${url-version}.tar.gz"; curlOpts = "--user-agent 'Mozilla/5.0'"; - sha256 = "1llsv1mnwr99hvsm052i3wwpa3dm5j12s5p10hizi6i9hlp00b5y"; + sha256 = "02r2jazb2hnhcqcjnmlj6sjd9dvyfalgi99bzncwfadixf3hmpvn"; }; buildInputs = [ yacc ]; @@ -16,10 +17,10 @@ stdenv.mkDerivation rec { installPhase = "install -D spin $out/bin/spin"; - meta = { + meta = with stdenv.lib; { description = "Formal verification tool for distributed software systems"; homepage = http://spinroot.com/; license = "free"; - maintainers = [ stdenv.lib.maintainers.mornfall ]; + maintainers = with maintainers; [ mornfall pSub ]; }; } |