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

spin: 6.4.3 -> 6.4.5

This commit is contained in:
Nikolay Amiantov 2016-02-27 14:09:44 +03:00
parent 2f07ae9136
commit 1e51364dd5
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,13 +2,15 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "spin-${version}"; name = "spin-${version}";
version = "6.4.3"; version = "6.4.5";
url-version = stdenv.lib.replaceChars ["."] [""] version; url-version = stdenv.lib.replaceChars ["."] [""] version;
src = fetchurl { src = fetchurl {
url = "http://spinroot.com/spin/Src/spin${url-version}.tar.gz"; # The homepage is behind CloudFlare anti-DDoS protection, which blocks cURL.
curlOpts = "--user-agent 'Mozilla/5.0'"; # Dropbox mirror from developers:
sha256 = "0cldhxvfw6llh4spcx0x0535pffx89pvvxpdi0bpqy9a6da85ln1"; # https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AADZPqS4aoR-pjNF6OQXRLQHa
url = "https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AAANRpxsSyWC7iHZB-XgBwJFa/spin645.tar.gz?raw=1";
sha256 = "0x8qnwm2xa8f176c52mzpvnfzglxs6xgig7bcgvrvkb3xf114224";
}; };
buildInputs = [ yacc ]; buildInputs = [ yacc ];
@ -20,7 +22,8 @@ stdenv.mkDerivation rec {
meta = with stdenv.lib; { 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 = stdenv.lib.licenses.free; license = licenses.free;
platforms = platforms.linux;
maintainers = with maintainers; [ mornfall pSub ]; maintainers = with maintainers; [ mornfall pSub ];
}; };
} }