diff options
| author | Pascal Wittmann <mail@pascal-wittmann.de> | 2017-07-01 10:16:14 +0200 |
|---|---|---|
| committer | Pascal Wittmann <mail@pascal-wittmann.de> | 2017-07-01 10:16:14 +0200 |
| commit | e071756043bab71432b800af0dd55805b80b0b76 (patch) | |
| tree | c2c2a718dc534fdea602ec9b3d52779d054d73bf /pkgs/development/tools/analysis/spin | |
| parent | 1420b20f08666e79efbe81c0c0728f869b643812 (diff) | |
| download | nixpkgs-e071756043bab71432b800af0dd55805b80b0b76.tar nixpkgs-e071756043bab71432b800af0dd55805b80b0b76.tar.gz nixpkgs-e071756043bab71432b800af0dd55805b80b0b76.tar.bz2 nixpkgs-e071756043bab71432b800af0dd55805b80b0b76.tar.lz nixpkgs-e071756043bab71432b800af0dd55805b80b0b76.tar.xz nixpkgs-e071756043bab71432b800af0dd55805b80b0b76.tar.zst nixpkgs-e071756043bab71432b800af0dd55805b80b0b76.zip | |
spin: 6.4.5 -> 6.4.6
Diffstat (limited to 'pkgs/development/tools/analysis/spin')
| -rw-r--r-- | pkgs/development/tools/analysis/spin/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/tools/analysis/spin/default.nix b/pkgs/development/tools/analysis/spin/default.nix index 6da6bd4b4f9..48ba6379a0c 100644 --- a/pkgs/development/tools/analysis/spin/default.nix +++ b/pkgs/development/tools/analysis/spin/default.nix @@ -7,15 +7,15 @@ let in stdenv.mkDerivation rec { name = "spin-${version}"; - version = "6.4.5"; + version = "6.4.6"; url-version = stdenv.lib.replaceChars ["."] [""] version; src = fetchurl { # The homepage is behind CloudFlare anti-DDoS protection, which blocks cURL. # Dropbox mirror from developers: # https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AADZPqS4aoR-pjNF6OQXRLQHa - url = "https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AAANRpxsSyWC7iHZB-XgBwJFa/spin645.tar.gz?raw=1"; - sha256 = "0x8qnwm2xa8f176c52mzpvnfzglxs6xgig7bcgvrvkb3xf114224"; + url = "https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AAA-vBeJ7xty-CDZgk7OB58Ta/spin646.tar.gz?raw=1"; + sha256 = "1n33qzlb7g30vhr5yxssw210b2m0242y9j21c7fqpn9z6b0rbhjp"; }; nativeBuildInputs = [ makeWrapper ]; |