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

spin: update from 6.3.2 to 6.4.1 and add myself to maintainers

Browse Source
This commit is contained in:
Pascal Wittmann 2014-10-06 11:18:49 +02:00
parent 06a62d44fb
commit 47a6f5eda9
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/development/tools/analysis/spin/default.nix
View File

@ -1,13 +1,14 @@
{stdenv, fetchurl, yacc }: {stdenv, fetchurl, yacc }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "6.3.2";
name = "spin-${version}"; name = "spin-${version}";
version = "6.4.1";
url-version = stdenv.lib.replaceChars ["."] [""] version;
src = fetchurl { 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'"; curlOpts = "--user-agent 'Mozilla/5.0'";
sha256 = "1llsv1mnwr99hvsm052i3wwpa3dm5j12s5p10hizi6i9hlp00b5y"; sha256 = "02r2jazb2hnhcqcjnmlj6sjd9dvyfalgi99bzncwfadixf3hmpvn";
}; };
buildInputs = [ yacc ]; buildInputs = [ yacc ];
@ -16,10 +17,10 @@ stdenv.mkDerivation rec {
installPhase = "install -D spin $out/bin/spin"; installPhase = "install -D spin $out/bin/spin";
meta = { meta = with stdenv.lib; {
description = "Formal verification tool for distributed software systems"; description = "Formal verification tool for distributed software systems";
homepage = http://spinroot.com/; homepage = http://spinroot.com/;
license = "free"; license = "free";
maintainers = [ stdenv.lib.maintainers.mornfall ]; maintainers = with maintainers; [ mornfall pSub ];
}; };
} }