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

spin: 6.4.5 -> 6.4.6

Browse Source
This commit is contained in:
Pascal Wittmann 2017-07-01 10:16:14 +02:00
parent 1420b20f08
commit e071756043
No known key found for this signature in database
GPG Key ID: C899ACE7E2322852
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -7,15 +7,15 @@ let
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
name = "spin-${version}"; name = "spin-${version}";
version = "6.4.5"; version = "6.4.6";
url-version = stdenv.lib.replaceChars ["."] [""] version; url-version = stdenv.lib.replaceChars ["."] [""] version;
src = fetchurl { src = fetchurl {
# The homepage is behind CloudFlare anti-DDoS protection, which blocks cURL. # The homepage is behind CloudFlare anti-DDoS protection, which blocks cURL.
# Dropbox mirror from developers: # Dropbox mirror from developers:
# https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AADZPqS4aoR-pjNF6OQXRLQHa # https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AADZPqS4aoR-pjNF6OQXRLQHa
url = "https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AAANRpxsSyWC7iHZB-XgBwJFa/spin645.tar.gz?raw=1"; url = "https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AAA-vBeJ7xty-CDZgk7OB58Ta/spin646.tar.gz?raw=1";
sha256 = "0x8qnwm2xa8f176c52mzpvnfzglxs6xgig7bcgvrvkb3xf114224"; sha256 = "1n33qzlb7g30vhr5yxssw210b2m0242y9j21c7fqpn9z6b0rbhjp";
}; };
nativeBuildInputs = [ makeWrapper ]; nativeBuildInputs = [ makeWrapper ];